ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Конструктивная математическая логика с точки зрения классической/ П.С. Новиков
Material type:
TextLanguage: Russian Series: Математическая логика и основания математикиPublication details: Москва: Наука, 1977.Description: 328 сSubject(s):
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 Н 73 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP 20923 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 М 84 Конструктивные множества и их приложения/ | 51.01:16 М 84 Конструктивные множества и их приловения/ | 51.01:16 Н 47 Неклассическая логика | 51.01:16 Н 73 Конструктивная математическая логика с точки зрения классической/ | 51.01:16 Н 73 Элементы математической логики/ | 51.01:16 Н 73 Конструктивная математическая логика с точки зрения классической/ | 51.01:16 Н 73 Элементы математической логики/ |
Библиогр.: с.318-320
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.