- Добавил: Semka
- Дата: 6-12-2018, 18:22
- Комментариев: 0

Название: A Friendly Introduction to Mathematical Logic
Автор: Christopher C. Leary
Издательство: The University of Oslo
Год: 2015
Формат: pdf
Страниц: 380
Размер: 1.7 mb.
Язык: English
This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. From the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and G?odel’s First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.