Introduction to Mathematical Logic

Valutazione media 4,36
( su 14 valutazioni fornite da Goodreads )
 
9780691029061: Introduction to Mathematical Logic

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

From the Publisher:

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 subjectone which should be read by every researcher and student of logic. The previous edition of this book was in the Princeton Mathematical Series.

From the Back Cover:

This book 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Church, Alonzo
Editore: Princeton University Press (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 1
Da
Light House
(Hayward, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 1996. Paperback. Condizione libro: New. Codice libro della libreria B27S2-44

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,97
In U.S.A.
Destinazione, tempi e costi

2.

Alonzo Church
Editore: Princeton University Press (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 1996. Paperback. Condizione libro: New. book. Codice libro della libreria M0691029067

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 61,33
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

3.

Church, Alonzo
Editore: Princeton University Press (2017)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 2
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 2017. Paperback. Condizione libro: New. Never used! This item is printed on demand. Codice libro della libreria P110691029067

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 62,62
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 1,67
In U.S.A.
Destinazione, tempi e costi

4.

Alonzo Church
Editore: Princeton University Press (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Quantità: 7
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 1996. PAP. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria WP-9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,33
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,18
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Alonzo Church
Editore: Princeton University Press, United States (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, United States, 1996. Paperback. Condizione libro: New. Revised ed.. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Alonzo Church
Editore: Princeton University Press, United States (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, United States, 1996. Paperback. Condizione libro: New. Revised ed.. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 70,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Church, Alonzo
Editore: Princeton University Press (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 1996. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 72,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
In U.S.A.
Destinazione, tempi e costi

8.

Alonzo Church
Editore: Princeton University Press 1996-12-12, Princeton, N.J. (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi paperback Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press 1996-12-12, Princeton, N.J., 1996. paperback. Condizione libro: New. Codice libro della libreria 9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 73,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,78
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Church, Alonzo
Editore: Princeton University Press (1996)
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 1996. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 72,96
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,17
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Alonzo Church
Editore: Princeton University Press
ISBN 10: 0691029067 ISBN 13: 9780691029061
Nuovi Paperback Quantità: 7
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press. Paperback. Condizione libro: New. New copy - Usually dispatched within 2 working days. Codice libro della libreria B9780691029061

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 81,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,84
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro