Articles liés à Introduction to Mathematical Logic
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic. The previous edition of this book was in the Princeton Mathematical Series.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurPrinceton University Press
- Date d'édition1991
- ISBN 10 0691079846
- ISBN 13 9780691079844
- ReliureRelié
- Langueanglais
- Nombre de pages392
Résultats de recherche pour Introduction to Mathematical Logic
Image fournie par le vendeur
Introduction to Mathematical Logic, Volume 1
Edité par
Princeton University Press, Princeton, 1970
ISBN 10 : 0691079846
ISBN 13 : 9780691079844
Ancien ou d'occasion
Soft cover
Vendeur : Edinburgh Books, Edinburgh, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good Plus. Reprint. Reprint of 1970 edition - c. 2005. ix, 378pp. "This is a revised and much enlarged edition of Introduction to Mathematical Logic, Part 1, which was published in 1944 as one of the Annals of Mathematical Studies. In spite of extensive additions, it remains an introduction rather than a comprehensive treatise. It is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work. As a textbook it offers a beginning course in mathematical logic, but presupposes some substantial mathematical background." Minor shelf wear to covers and edges. The book is otherwise in excellent condition. There are no inscriptions and all contents are tight and clean. N° de réf. du vendeur Maths424
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to Mathematical Logic: Volume I
Edité par
Princeton University Press, 1970
ISBN 10 : 0691079846
ISBN 13 : 9780691079844
Ancien ou d'occasion
Couverture rigide
Vendeur : Grey Matter Books, Hadley, MA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Cloth. Etat : Good. No Jacket. Volume I ONLY. Text is unmarked; pages are bright, though there is some light foxing along the top edge of the pages. The pages are wrinkled along the bottom edge, possibly from damp though there is no stain. Binding is sturdy. Covers show some light wear around the corners and at the head and base of the spine. No dust jacket. 378pp. N° de réf. du vendeur 066524
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to mathematical logic Church, Alonzo
Edité par
Princeton University Press, 1991
ISBN 10 : 0691079846
ISBN 13 : 9780691079844
Ancien ou d'occasion
Couverture rigide
Vendeur : online-buch-de, Dozwil, Suisse
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : gebraucht; sehr gut. Hardcover Leinen mit Schutzumschlag, Ex-Besitzerstempel am Vorsatzblatt, ansonsten wie ungelesen, minimale Standspuren altersbedingt. N° de réf. du vendeur 521-3-60
Quantité disponible : 1 disponible(s)
Image d'archives
introduction to mathematical logic
Edité par
princeton university press 1970, 1991
ISBN 10 : 0691079846
ISBN 13 : 9780691079844
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Walter Nowak, Göttingen, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
volume I Gewicht in Gramm: 550 umschlag lichtrandig,innen sauber. N° de réf. du vendeur 39768
Quantité disponible : 1 disponible(s)