Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series (Pt.1)
Alonzo Church
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".
年:
1956
出版:
Revised and much enlarged ed.
出版社:
Princeton University Press
语言:
english
页:
194
ISBN 10:
0691079846
ISBN 13:
9780691079844
文件:
PDF, 6.36 MB
IPFS:
,
english, 1956