Initiatives in Logic: Reason and Argument, cartea 2
Editat de Jan J.T. Srzednickien Limba Engleză Paperback – 2 oct 2011
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 906.94 lei 43-57 zile | |
| SPRINGER NETHERLANDS – 2 oct 2011 | 906.94 lei 43-57 zile | |
| Hardback (1) | 912.69 lei 43-57 zile | |
| SPRINGER NETHERLANDS – 30 noi 1987 | 912.69 lei 43-57 zile |
Preț: 906.94 lei
Preț vechi: 1106.02 lei
-18% Nou
Puncte Express: 1360
Preț estimativ în valută:
160.49€ • 188.19$ • 140.94£
160.49€ • 188.19$ • 140.94£
Carte tipărită la comandă
Livrare economică 02-16 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401081443
ISBN-10: 9401081441
Pagini: 276
Ilustrații: X, 261 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:Softcover reprint of the original 1st ed. 1987
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Reason and Argument
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401081441
Pagini: 276
Ilustrații: X, 261 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:Softcover reprint of the original 1st ed. 1987
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Reason and Argument
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.
Recenzii
` .., 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
Studia Logica 12 (1) 1990