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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
