×


 x 

Shopping cart
24%OFFAlonzo Church - Introduction to Mathematical Logic (PMS-13), Volume 13 - 9780691029061 - V9780691029061
Stock image for illustration purposes only - book cover, edition or condition may vary.

Introduction to Mathematical Logic (PMS-13), Volume 13

€ 97.23
€ 74.19
You save € 23.04!
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

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

Goodreads reviews for Introduction to Mathematical Logic (PMS-13), Volume 13


Subscribe to our newsletter

News on special offers, signed editions & more!