Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
Zapisane w:
| Główni autorzy: | , , |
|---|---|
| Format: | Książka |
| Wydane: |
НБ СевКавГТУ
|
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|