Two papers on the predicate calculus
Author(s)
Bibliographic Information
Two papers on the predicate calculus
(Memoirs of the American Mathematical Society, no. 10)
American Mathematical Society, 1952
Available at 32 libraries
Search this Book/Journal
Note
Title from cover
"Received by the editors on June 11, 1951. Presented to the American Mathematical Society September 4, 1951. Received in revised form February 20, 1952."--P. [1]
Bibliography: p. [67]-68
Contents of Works
- Permutability of inferences in Gentzen's calculi LK and LJ
- Finite axiomatizability of theories in the predicate calculus using additional predicate symbols