Initiatives in Logic
Kluwer Academic Publishers (Verlag)
978-90-247-3600-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.
| Erscheint lt. Verlag | 30.11.1987 |
|---|---|
| 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 | 90-247-3600-5 / 9024736005 |
| ISBN-13 | 978-90-247-3600-3 / 9789024736003 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
