Прикладной нестандартный анализ/ Мартин Девис; Ред. В.А. Успенский; Пер. С.Ф. Сопрунов
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Applied Nonstandart Analysis [Cover title]
- 51.01:16
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP22442 | |
![]() |
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP22441 |
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 Исследования по теории алгоритмов и математической логике/ |
Библиогр.:с.223-224
There are no comments on this title.