Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
Збережено в:
| Автори: | , , |
|---|---|
| Формат: | Книга |
| Опубліковано: |
НБ СевКавГТУ
|
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|