01180nam a2200157 a 4500020001800000020001600018082001500034100002000049245003900069260006000108300002100168490005200189505039200241520035100633650003800984 a9780691029061 a0691029067 a511.3bCHU aChurch, Alonzo aIntroduction to mathematical logic aPrinceton, N.J. : bPrinceton University Press, c1996. aix, 378 pages ; aPrinceton landmarks in mathematics and physics. a *Frontmatter, pg. i*Preface, pg. v*Contents, pg. vii*Introduction, pg. 1*I. The Propositional Calculus, pg. 69*II. The Propositional Calculus (Continued), pg. 119*III. Functional Calculi of First Order, pg. 168*IV. The Pure Functional Calculus of First Order, pg. 218*V. Functional Calculi of Second Order, pg. 295*Index of Definitions, pg. 357*Index of Authors, pg. 373*Errata, pg. 377 aLogic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic aLogic, Symbolic and mathematical.