Initiatives in Logic
(Sprache: Englisch)
.., 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
Leider schon ausverkauft
versandkostenfrei
Buch
171.19 €
Produktdetails
Produktinformationen zu „Initiatives in Logic “
Klappentext zu „Initiatives in Logic “
.., 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
Inhaltsverzeichnis zu „Initiatives in Logic “
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.
Bibliographische Angaben
- 1987, 276 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: Jan J. T. Srzednicki
- Verlag: Springer Netherlands
- ISBN-10: 9024736005
- ISBN-13: 9789024736003
- Erscheinungsdatum: 30.11.1987
Sprache:
Englisch
Rezension zu „Initiatives in Logic “
` .., 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
Kommentar zu "Initiatives in Logic"
0 Gebrauchte Artikel zu „Initiatives in Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Initiatives in Logic".
Kommentar verfassen