![book Конструктивная математическая логика с точки зрения классической](/covers/files_170/201000/0db46f5abde38d93e18a2dd4b2559580.jpg)
- Author: Новиков П.С.
- Language: Русский
![book Математическая логика](/covers/files_170/130000/b08c2cb2182c3e4f47d5076c8c82a77e.jpg)
- Author: Дж. Шенфилд
- Language: Русский
- Year: 1975
![book РЕКУРСИВНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ](/covers/files_170/127000/afc12e939267b74dcccee77f0a755814.jpg)
- Author: Рейбен Луис Гудстейн
- Language: Русский
- Year: 1970
![book Математическая логика](/covers/files_170/107000/3bfc471dedd3c5f56a9e228b1fdeed71.jpg)
- Author: Шенфилд Дж.
- Language: Русский
![book Рекурсивный математический анализ](/covers/files_170/107000/245ced019d5a5d4d20b1e307e656287d.jpg)
- Author: Гудстейн Р.Л.
- Language: Русский
![book Введение в теорию моделей и метаматематику алгебры](/covers/files_170/68000/97c5d84c29ee0a9a56bc6472ead53431-d.jpg)
- Author: Робинсон Абрахам
- Language: Русский
- Year: 1967
![book Математическая теория логического вывода](/covers/files_170/60000/8a1d4daf87ad8a2b7f09e4f735c38345.jpg)
- Author: Под редакцией А.В.Идельсона и Г.Е.Минца
- Language: Русский
- Year: 1967
![book Функции алгебры логики и классы Поста](/covers/files_170/45000/81db6b7893a359db07377554ea599b21.jpg)
- Author: Яблонский С.В. и др.
- Language: Русский
- Year: 1966
![book Математическая теория логического вывода](/covers/files_170/41000/16e8ddbdab764e58d509f423e3c2a243.jpg)
- Author: Идельсон А.В. Минц Г.Е.
- Language: Русский
- Year: 1967