Initiatives in Logic edited by Jan J.T. Srzednicki.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Srzednicki, Jan J.T (Editor)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 1987.
Edition:	1st ed. 1987.
Series:	Reason and Argument ; 2 Springer eBook Collection.
Subjects:	Logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

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.

Similar Items