Cerca
Items 1-1 di 1
Справочная книга по математической логике
(Наука, 1982)
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства ...