Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Published: |
НБ СевКавГТУ
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|