Initiatives in Logic
Springer (Verlag)
978-94-010-8144-3 (ISBN)
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.
| Reihe/Serie | Reason and Argument ; 2 |
|---|---|
| Zusatzinfo | X, 261 p. |
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| ISBN-10 | 94-010-8144-1 / 9401081441 |
| ISBN-13 | 978-94-010-8144-3 / 9789401081443 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
