|
|
libcats.org
Introduction to Mathematical LogicAlonzo ChurchI 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".
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
The Renaissance- An Encyclopedia for StudentsАвтор: Charles Scribners & Sons Publishing
Размер книги: 12.84 Mb
Млекопитающие Ханты-Мансийского автономного округа (распространение, экология, практическое значение).Автор: Стариков В.П.Категория: Животные
Размер книги: 955 Kb
Integrated Nutrient Management (INM) in a Sustainable Rice-Wheat Cropping SystemАвтор: Anil Mahajan, Автор: R.D. Gupta
Размер книги: 3.79 Mb
Cellular Neural Networks, Multi-Scroll Chaos And Synchronization (World Scientific Series on Nonlinear Science)Автор: Mustak E. Yalcin, Автор: Johan A. K. Suykens, Автор: Joos P. L. Vandewalle
Размер книги: 21.99 Mb
|
|
|