Introduction to Mathematical Logic by Alonzo Church (English) Paperback Book

The Nile on eBay   FREE SHIPPING UK WIDE   Introduction to Mathematical Logic by Alonzo Church

Logic 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.

FORMATPaperback LANGUAGEEnglish CONDITIONBrand New Publisher Description

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic.Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

Author Biography

Alonzo Church (19031995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science.

Table of Contents

*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

Review

"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 & New Zealand Physicist

Long Description

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic.Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

Review Quote

This volume . . . is a reprint of the revised 1956 version of this notable title first published in 1944 in theAnnals 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 & New Zealand Physicist

Details ISBN0691029067 Author Alonzo Church Pages 392 Publisher Princeton University Press Language English ISBN-10 0691029067 ISBN-13 9780691029061 Media Book Format Paperback DEWEY 511.3 Year 1996 Imprint Princeton University Press Place of Publication New Jersey Country of Publication United States Short Title INTRO TO MATHEMATICAL LOGIC (P Birth 1903 Death 1995 Illustrations black & white illustrations Edition Description Revised Translated from English DOI 10.1604/9780691029061 UK Release Date 1996-11-17 NZ Release Date 1996-11-17 US Release Date 1996-11-17 Publication Date 1996-11-17 Alternative 9780691079844 Audience Professional & Vocational AU Release Date 1997-01-26 Series Princeton Mathematical Series We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

30 DAY RETURN POLICY

No questions asked, 30 day returns!

FREE DELIVERY

No matter where you are in the UK, delivery is free.

SECURE PAYMENT

Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:161685398;