INTRODUCTION TO MATHEMATICAL LOGIC By ALONZO CHURCH HARDCOVER LIKE
Item History & Price
INTRODUCTION TO MATHEMATICAL LOGIC
VOLUME 1
by ALONZO CHURCH
PRINCETON 1970, 6TH EDITION, HARDCOVER, DJ, 378 PAGES.
CONDITION: LIKE NEW. NO MARKINGS OR UNDERLININGS OF ANY KIND.
Oneof the pioneers of mathematical logic in the twentieth century wasAlonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of theJournal of Symbolic Logic. In Introduction to Mathematical ...Logic, Church presents a masterful overview of the subject--one which shouldbe read by every researcher and student of logic.Introductionto Mathematical Logic, defined its subject for a generation. Originally published inPrinceton’s Annals of Mathematics Studies series, this book wasrevised in 1956 and reprinted a third time, in 1996, in the PrincetonLandmarks in Mathematics series. Although new results in mathematicallogic have been developed and other textbooks have been published, itremains, sixty years later, a basic source for understanding formallogic.
Churchwas one of the principal founders of the Association for SymbolicLogic; he founded the Journalof Symbolic Logic in1936 and remained an editor until 1979 At his death in 1995, Churchwas still regarded as the greatest mathematical logician inthe world.