ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Математическа теория логического вывода/ Сборник переводов под ред. А. В. Идльсона и Г. Е. Минца.
Material type:
TextLanguage: Russian Series: Математическая логика и основания математикиPublication details: Москва; Наука, 1967Description: 351 сSubject(s):
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 М 34 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP10108 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 М 29 Очерки по конструктивной математике/ | 51.01:16 М 31 Теория дедуктивных систем и ее применения/ | 51.01:16 М 34 Математическая логика и ее применения/ | 51.01:16 М 34 Математическа теория логического вывода/ | 51.01:16 М 50 Введение в математическую логику/ | 51.01:16 М 50 Введение в математическую логику/ | 51.01:16 М 50 Введение в математическую логику/ |
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.