Справочная книга по математической логике
Настоящее издание состоит из четырех книг: " Теория моделей". "Теория множеств", " Теория рекурсии", "Теория доказательств и конструктивная математика"....
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | كتاب |
| منشور في: |
НБ СевКавГТУ
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|