Под ред. Дж.Барвайса

Книги Под ред. Дж.Барвайса

Справочная книга по математической логике: В 4-х частях (Теория моделей, множеств, рекурсии, доказательств и конструктивная математика)

ОТ ИЗДАТЕЛЫСТВАНастоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств»…