Initiatives in Logic (eBook, PDF)

Redaktion: Srzednicki, Jan J. T.

• Format: PDF

Produktbeschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Netherlands
• Seitenzahl: 261
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9789400936737
• Artikelnr.: 44180907

Inhaltsangabe

Leibniz's Calculus of Strict Implication.- Leibniz's Modal Calculus of Concepts.- The Logic of Conditions.- Philosophical Pragmatism in Poincare.- A Note on Zeno B3.- Generalizations and Strengthenings of Gödel's Incompleteness Theorem.- The Logical Work of Mordchaj Wajsberg.- Notes on Wajsberg's Proof of the Separation Theorem.- Logical Analysis of Thomism The Polish Programme that originated in 1930's.- On Justification of Questions.- The Logic of Types.- Systems of Computer-Aided Reasoning for Mathematics and Natural Language.- Two Reports on Educational Applications of MIZAR MSE, a System of Computer-Aided Reasoning The application of MIZAR MSE in a course in logic.- The use of MIZAR MSE in a course in foundations of geometry.- Literature.- Index of Names.

Rezensionen

` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. '
Studia Logica 12 (1) 1990

` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. '
Studia Logica 12 (1) 1990