Математическая логика
Zusammenfassung
Фундаментальные факты математической логики: начало аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Книга переиздана, вместе с первой книгой "Введение в математическую логику", в 2006 году.
Collections
- Libgen [81666]