Справочная книга по математической логике. Часть 1. Теория моделей
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, со...
1982 год
10.61 МБ
0.0
скачиваний: 561
Справочная книга по математической логике. Часть 2. Теория множеств
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, со...
1982 год
9.63 МБ
0.0
скачиваний: 530
Справочная книга по математической логике. Часть 3. Теория рекурсии
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, со...
1982 год
8.79 МБ
0.0
скачиваний: 525
Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, со...
1983 год
5.91 МБ
0.0
скачиваний: 423
X