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