Introduction to mathematical logic volume 1 - Church, Alonze (Princeton : The University Press, 1958)
Includes index
Keywords: Logic, symbolic and mathematics; Mathematics