![book Математическая логика](/covers/files_170/4000/87a32d34f4a02996904b462d1666a7e3.jpg)
- Author: Гудстейн Р.Л. (Goodstein R.L.)
- Language: Русский
- Year: 1961
![book Математический интуиционизм. Введение в теорию доказательств](/covers/files_170/4000/88a5ff49ccfc0693c3300be5428ff5c2.jpg)
- Author: Драгалин А.Г.
- Language: Русский
- Year: 1979
![book Определимость и вычислимость](/covers/files_170/4000/405d234fe7eea3d22bca4f4b370c8a14.jpg)
- Author: Ершов Ю. Л.
- Language: Русский
- Year: 1996
![book Проблемы разрешимости и конструктивные модели](/covers/files_170/4000/7ec329832e4dcb81d665e7f66a46ac19.jpg)
- Author: Ершов Ю.Л.
- Language: Русский
- Year: 1980
![book Логика](/covers/files_170/4000/9d1ac1bd4dc0a3ab690909a550ce1c5b.jpg)
Логика
djvu
- Author: Горский Д.П. и др.
- Language: Русский
- Year: 1955
![book Сборник задач по математической логике и алгебре множеств](/covers/files_170/4000/697cd66e487e1fa1a913c03cd691df8e.jpg)
- Author: Гохман А.В.
- Language: Русский
- Year: 1969
![book Основания математики. Теория доказательств](/covers/files_170/4000/8f3e24fcd080d3e4f476217ac4272254.jpg)
- Author: Гильберт Д. Бернайс П.
- Language: Русский
- Year: 1982
![book Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики](/covers/files_170/4000/7cd687d04c900d6a062198f01697270f.jpg)
- Author: Гильберт Д. Бернайс П.
- Language: Русский
- Year: 1979
![book Основания математики, в 2-х томах. Том 2. Теория доказательств](/covers/files_170/4000/32f7a867aada8fd3859b9ea5bd9881fc.jpg)
- Author: Гильберт Д. Бернайс П.
- Language: Русский
- Year: 1982
![book Основы теоретической логики](/covers/files_170/4000/13c666d8aadabcffe0f23e2c1c1091bb.jpg)
- Author: Гилберт Д. Аккерман В.
- Language: Русский
- Year: 1949