Introduction to Mathematical Logic - Brossura

Church, Alonzo

Brossura

ISBN 10: 0691029067 ISBN 13: 9780691029061

Casa editrice: Princeton University Press, 1996

Riassunto

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.

Su questo libro

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

Su questa edizione

• Editore: Princeton University Press
• Data di pubblicazione: 1996
• ISBN 10: 0691029067
• ISBN 13: 9780691029061
• Rilegatura: Copertina flessibile
• Numero di pagine: 392