{"product_id":"introduction-to-mathematical-logic-9780691029061","title":"Introduction to Mathematical Logic","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eLogic 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003e\"This volume ... is a reprint of the revised 1956 version of this notable title first published in 1944 in the Annals of Mathematics Studies. Quite a pedigree ... [I]t is fitting that the release of this inexpensive reprint should make his masterly treatise available to everyone with an interest in the subject.\"--Australian \u0026amp; New Zealand Physicist\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e*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","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":49403693531479,"sku":"9780691029061","price":999.99,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/introduction-to-mathematical-logic-9780691029061","provider":"Book Curl","version":"1.0","type":"link"}