libcats.org
Главная

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Обложка книги A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Элизабет Адлер. Сейчас или никогда

Автор:
Размер книги: 731 Kb

Андреа Камиллери. Форма воды

Автор:
Размер книги: 251 Kb

Microsoft Windows Security Resource Kit

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 1.57 Mb

Verbal and Nonverbal Communication Behaviours, COST Action 2102

Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.36 Mb

Ремонт швейных машин

Автор:
Категория: science, civil, profession, house, personal
Размер книги: 18.11 Mb

A First Course in Digital Communications

Автор: , Автор:
Категория: Техника, Связь
Размер книги: 11.56 Mb

Gray Lensman

Автор:
Категория: fiction
Размер книги: 336 Kb