24%OFF
Introduction to Mathematical Logic (PMS-13), Volume 13
Alonzo Church
€ 97.23
€ 74.19
FREE Delivery in Ireland
Description for Introduction to Mathematical Logic (PMS-13), Volume 13
Paperback. 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. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1996
Publisher
Princeton University Press United States
Number of pages
392
Condition
New
Series
Annals of Mathematics Studies
Number of Pages
392
Place of Publication
New Jersey, United States
ISBN
9780691029061
SKU
V9780691029061
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
About Alonzo Church
Alonzo Church (1903–1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science.
Reviews for Introduction to Mathematical Logic (PMS-13), Volume 13
"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
Australian & New Zealand Physicist