Verwandte Artikel zu Initiatives in Logic (Reason and Argument, 2, Band...

Initiatives in Logic (Reason and Argument, 2, Band 2) - Softcover

Srzednicki, Jan

 
9789401081443: Initiatives in Logic (Reason and Argument, 2, Band 2)
Softcover
ISBN 10: 9401081441 ISBN 13: 9789401081443
Verlag: Springer Netherlands, 1987

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Netherlands
Erscheinungsdatum
1987
Sprache
Englisch
ISBN 10 
9401081441
ISBN 13 
9789401081443
Einband
Taschenbuch
Anzahl der Seiten
276
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland