Introduction to mathematical logic /
Church, Alonzo,1903-
Princeton, N.J. : Princeton University Press,
1956
Includes index.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical