Logical Calculus

Front Cover
Institute for Advanced Study - Calculus - 250 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Rules of the Calculus First Form
7
Derived Rules especially Equivalences
15
The Propositional Calculus
33
Different Forms of the Logical Calculus
47
Consistency kformulas Cases of Deciding on Deducibility
56
Consistency of an Elementary AxiomSystem in Combination with
64
The schema Possibility of Eliminating the symbol
72
Extensions of the Result of our ConsistencyProof
87
Possibility of Replacing the General Equality Schema by Special
100
The Numbertheoretic Formalism
116
Page 16 line 14 equality should be equivalence
120

Bibliographic information