Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика. Дж. Барвайс
Настоящее издание состоит из четырех книг: Теория моделей, Теория множеств, Теория рекурсии, Теория доказательств и конструктивная математика. В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги,...