ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = 
Text| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute of Mathematics | General | 510.6 С-50 (Browse shelf(Opens below)) | Available | MAT4907 |
Browsing Institute of Mathematics shelves, Collection: General Close shelf browser (Hides shelf browser)
| 510.6 Н-73 Конструктивная математическая логика с точки зрения классической. | 510.6 П-91 Некоторые вопросы теории обозначений. | 510.6 Р-58 Введение в теорию моделей и метаматематику алгебры. | 510.6 С-50 Теория формальных систем. | 510.6 С-50 Алиса в Стране Смекалки. | 510.6 Т-15 Теория доказательств. | 510.6 Т-21 Введение в логику и методологию дедуктивных наук. |
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.