ENGLISH

Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series (Pt.1)

By Alonzo Church

Book information

Publisher
Princeton University Press
Year
1956
ISBN
0691079846, 9780691079844
Language
english
Format
PDF
Filesize
6 MB (6672318 bytes)
Edition
Revised and much enlarged ed.
Pages
194\194
Time added
2010-02-18 13:16:04

Description

I give this book 5 stars out of respect for its enormous contribution to mathematical logic; for no doubt many of the authors of the more modern math-logic texts were greatly influenced by this book. But with that said, all of the material here is a proper subset of other current books which present the material much more clearly and using better notation. Examples include Burris' "Logic for Mathematics and Computer Science", Ebbinhaus' "Intro. To Math Logic", and Gallier's "Logic for Computer Scientists".

Similar books