Introduction to Mathematical Logic (PMS-13)

ISBN: 0691029067
ISBN 13: 9780691029061
By: Alonzo Church

Check Price Now


Aad It Wikipedia Log Math Mod Logic Mathematics Maths Philosophy Read Someday To Read Unsorted

About this book

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.

Share your thoughts

Your email address will not be published. Required fields are marked *