Overview

Full Product Details

Author:   Jan J.T. Srzednicki
Publisher:   Springer
Imprint:   Kluwer Academic Publishers
Edition:   1987 ed.
Volume:   2
Dimensions:   Width: 15.50cm , Height: 1.70cm , Length: 23.50cm
Weight:   1.250kg
ISBN:  

9789024736003

ISBN 10:   9024736005
Pages:   261
Publication Date:   30 November 1987
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

` .., 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

' .., 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

' .., 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

.., 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

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions