Initiatives in Logic de Jan J.T. Srzednicki

Initiatives in Logic: Reason and Argument, cartea 2

en Limba Engleză Hardback – 30 noi 1987

Toate formatele și edițiile

	Preț	Express
Paperback (1)	943^.57 lei 6-8 săpt.
SPRINGER NETHERLANDS – 2 oct 2011	943^.57 lei 6-8 săpt.
Hardback (1)	949^.55 lei 6-8 săpt.
SPRINGER NETHERLANDS – 30 noi 1987	949^.55 lei 6-8 săpt.

Din seria Reason and Argument

5%

Preț: 791^.61 lei
Preț: 397^.97 lei
Preț: 385^.47 lei
Preț: 383^.71 lei

Preț: 949^.55 lei

Preț vechi: 1157^.98 lei
-18% Nou

Puncte Express: 1424

:
181^.74€ • 187^.29$ • 153^.44£

Carte tipărită la comandă

Livrare economică 03-17 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789024736003
ISBN-10: 9024736005
Pagini: 276
Ilustrații: X, 261 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.56 kg
Ediția:1987
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Reason and Argument

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

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

Papetărie, jocuri, reviste