Introduction to mathematical logic
By: Alonzo Church.
Series: Princeton University
Publisher: Princeton University Press
Published: 1956
Place of publication: Princeton
Subjects: Logic, Symbolic and mathematical