Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Introduction to Mathematical Logic
Автор: Church A.
Аннотация:
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".