Барвайс Дж. - Справочная книга по математической логике. В 4-х частях Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика". Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания. Категория: КНИГИ / ЖУРНАЛЫ
|
Новое на сайте
12-04-2025, 21:26
189
0
12-04-2025, 17:22
111
0
12-04-2025, 17:10
113
0
Сегодня, 07:34
0
0
Вчера, 23:06
8
0
|
|
модуль Topfiles v.1.0 modification
модуль
Популярное на сайте
|
