Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
- 1 January 1952
- journal article
- Published by American Mathematical Society (AMS) in Memoirs of the American Mathematical Society