Church, Alonzo , 1903- Truesdell, Clifford Ambrose , 1919- Introduction to mathematical logic... By Alonzo Church. Notes by C.A. Truesdell - Princeton University Press Princeton 1944 1944- - v. ; 23 cm. - [ Annals of mathematics studies ] No.13 . Lithoprinted Bibliographical foot-notes Subjects--Topical Terms: Logic, Symbolic and mathematical--BC LC Class. No.: BC135.C4