Introduction to Mathematical Logic (Princeton Mathematical Series, 17) - Softcover

Buch 5 von 29: Princeton Mathematical

Church, Alonzo

 
9780691029061: Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
Softcover
ISBN 10: 0691029067 ISBN 13: 9780691029061
Verlag: Princeton University Press, 1996

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Princeton University Press
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0691029067
ISBN 13 
9780691029061
Einband
Tapa blanda
Anzahl der Seiten
392
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar