Two papers on the predicate calculus.
Series: American Mathematical Society. Memoirs, no.10; Memoirs of the American Mathematical Society -- no. 10.
Published: 1952
Place of publication: Providence, R.I
Language: eng
Number of pages: 68
Subjects: Calculus.
Notes: Cover title.

Bibliography: p. 67-68.
Table of contents: value: Permutability of inferences in Gentzen's calculi L øK ø and L øJ ø.; value: Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.