Introduction to Mathematical Logic - Couverture souple

Livre 5 sur 29: Princeton Mathematical

Church, Alonzo

 
9780691029061: Introduction to Mathematical Logic
Couverture souple
ISBN 10 : 0691029067 ISBN 13 : 9780691029061
Editeur : Princeton University Press, 1996

Synopsis

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 « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Princeton University Press
Date d'édition
1996
Langue
anglais
ISBN 10 
0691029067
ISBN 13 
9780691029061
Reliure
Broché
Nombre de pages
392
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne