Articoli correlati a Introduction to Mathematical Logic
Sinossi
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 theJournal 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"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
Product Description
Book by Church Alonzo
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditorePrinceton Univ Pr
- Data di pubblicazione1991
- ISBN 10 0691079846
- ISBN 13 9780691079844
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine392
Risultati della ricerca per Introduction to Mathematical Logic
Foto dell'editore
Introduction to Mathematical Logic: Volume I
Editore:
Princeton University Press, 1970
ISBN 10: 0691079846
ISBN 13: 9780691079844
Antico o usato
Rilegato
Da: Grey Matter Books, Hadley, MA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Cloth. Condizione: 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. Codice articolo 066524
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Mathematical Logic, Volume 1
Editore:
Princeton University Press, Princeton, 1970
ISBN 10: 0691079846
ISBN 13: 9780691079844
Antico o usato
Soft cover
Da: Edinburgh Books, Edinburgh, Regno Unito
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: 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. Codice articolo Maths424
Quantità: 1 disponibili
Foto dell'editore
Introduction to mathematical logic Church, Alonzo
Editore:
Princeton University Press, 1991
ISBN 10: 0691079846
ISBN 13: 9780691079844
Antico o usato
Rilegato
Da: online-buch-de, Dozwil, Svizzera
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: gebraucht; sehr gut. Hardcover Leinen mit Schutzumschlag, Ex-Besitzerstempel am Vorsatzblatt, ansonsten wie ungelesen, minimale Standspuren altersbedingt. Codice articolo 521-3-60
Quantità: 1 disponibili
Foto dell'editore
introduction to mathematical logic
Editore:
princeton university press 1970, 1991
ISBN 10: 0691079846
ISBN 13: 9780691079844
Antico o usato
Rilegato
Da: Antiquariat Walter Nowak, Göttingen, Germania
Valutazione del venditore 4 su 5 stelle
volume I Gewicht in Gramm: 550 umschlag lichtrandig,innen sauber. Codice articolo 39768
Quantità: 1 disponibili