Заметки
Иллюзии
Библиотека
Под ред. Дж.Барвайса
Книги Под ред. Дж.Барвайса
Справочная книга по математической логике: В 4-х частях (Теория моделей, множеств, рекурсии, доказательств и конструктивная математика)
ОТ ИЗДАТЕЛЫСТВАНастоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств»…