В четырех частях. Ч.
1. Теория моделей [DjVu], Ч.
2. Теория множеств [DjVu], Ч.
3. Теория рекурсии[ DjVu] .
Ч.
4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" -
1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.
1. Теория моделей [DjVu], Ч.
2. Теория множеств [DjVu], Ч.
3. Теория рекурсии[ DjVu] .
Ч.
4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" -
1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.