Search
Now showing items 1-4 of 4
Справочная книга по математической логике
(Наука, 1982)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства ...
Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств
(Наука, ФМЛ, 1982)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства ...
Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей
(Наука, ФМЛ, 1982)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства ...
Справочная книга по математической логике. В 4-х частях. Часть 3. Теория рекурсии
(Наука, ФМЛ, 1982)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства ...