ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Основания интуиционистской математики с точки зрения теории рекурсивных функций/ Стефен Клини, Ричард Весли; Пер. Ф.А. Кабаков
Material type:
TextLanguage: Russian Original language: English Series: Математическая логика и основания математикиPublication details: Москва: Наука, 1978.Description: 271сOther title: - The Foundations of Intuitionistic Mathematics [Cover title]
- 51.01:16
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP21441 | |
|
Books
|
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP21439 |
Browsing Institute for Informatics and Automation Problems shelves, Collection: General Close shelf browser (Hides shelf browser)
| 51.01:16 Логика в решении проблем/ | 51.01:16 Логика в решении проблем/ | 51.01:16 Основания интуиционистской математики с точки зрения теории рекурсивных функций/ | 51.01:16 Основания интуиционистской математики с точки зрения теории рекурсивных функций/ | 51.01:16 Введение в математику/ | 51.01:16 Введение в математику/ | 51.01:16 Введение в математику/ |
Библиогр.:с.254-266
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.