Книги автора Барвайс Дж.

Справочная книга по математической логике. Часть 1: теория моделей

Автор: Барвайс Дж.
Год: 1982
Издание: [не указано]

Справочная книга по математической логике. Часть 3: теория рекурсии

Автор: Барвайс Дж.
Год: 1982
Издание: [не указано]

Справочная книга по математической логике. Часть 4: теория доказательств и конструктивная математика

Автор: Барвайс Дж.
Год: 1983
Издание: [не указано]
Похожие авторы, соавторы: