{"product_id":"initiatives-in-logic-von-jan-j-t-srzednicki-hrsg","title":"Initiatives in Logic","description":"\u003cp\u003eLeibniz¿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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789024736003\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789401081443\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9789024736003","offer_id":51265825798,"sku":"9789024736003","price":160.49,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9789401081443","offer_id":39444141408349,"sku":"9789401081443","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d144b3d9-c696-425d-a46e-72b46804a7fc.jpg?v=1763449942","url":"https:\/\/shop.autorenwelt.de\/en\/products\/initiatives-in-logic-von-jan-j-t-srzednicki-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}