Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
Wedi'i Gadw mewn:
| Prif Awduron: | , , |
|---|---|
| Fformat: | Llyfr |
| Cyhoeddwyd: |
НБ СевКавГТУ
|
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|