ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Введение в теорию моделей и метаматематику алгебры/ А. Робинсон; пер. А. Б. Волынский; ред. А. Д. Тйманов
Material type:
TextLanguage: Russian Series: Математическая логика иоснования математикиDescription: 374 сSubject(s):
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 Р 58 (Browse shelf(Opens below)) | Available | IAP10591 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 Р 24 Математика метаматематики/ | 51.01:16 Р 58 Введение в теорию моделей и математику алгебры/ | 51.01:16 Р 58 Введение в теорию моделей и метаматематику алгебры/ | 51.01:16 Р 58 Введение в теорию моделей и метаматематику алгебры/ | 51.01:16 С 15 Теория насыщенных моделей/ | 51.01:16 С 15 Теория насыщенных моделей/ | 51.01:16 С 32 Эвристические принципы и логические исчисления/ |
Библиогр. : с.356ю372
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.