Introduction to Mathematical Logic, Part I

Princeton: Princeton University Press, 1944. vi, 118 pp. 23 x 15.5 cm. Stiff orange paper wrappers with black lettering to cover and spine; Annals of Mathematics Studies, Number 13. Toning to spine, with some uneven toning to rear cover. Soiling to covers, with splash marks on front cover. Some light bumping and creasing to corners of covers. Soil and some spotting to edges of text block. Small nick to bottom edge of text block. Previous owner's name in blue ink at head of title page. Interior otherwise clean and unmarked. Binding sound, with no creases or cracks. A giant in the fields of mathematical logic and theoretical computer science, the work of Alonzo Church was a groundbreaking figure in 20th century mathematics. This first edition of 'Introduction to Mathemetical Logic' was 'the first half of an introductory course in mathematical logic given to graduate students in mathematics' at Princeton in 1943 (Introduction from the second edition). Church later revised and greatly expanded upon this original, which was republished in 1956. The notes from this lecture series were compiled by the graduate student Clifford Ambrose Truesdell III, who went on to teach mathematics at Indiana University and Johns Hopkins University. Scarce on the market, this copy is still in considerably good condition despite the splash marks on the front cover. . First Edition. Soft Cover. Very Good.…