Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
שמור ב:
| Главные авторы: | , , |
|---|---|
| פורמט: | ספר |
| יצא לאור: |
НБ СевКавГТУ
|
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|