ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Модальная логика/ Р. Фейс; Пер. Г.Е. Минц
Material type:
TextLanguage: Russian Series: Математическая логика и основания математикиPublication details: Москва: Наука, 1974.Description: 520 сSubject(s):
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 Ф 36 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP18389 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 Т14 Теория моделей/ | 51.01:16 У 77 Что такое нестандартный анализ?/ | 51.01:16 У 77 Теорема Геделя о неполноте/ | 51.01:16 Ф 36 Модальная логика/ | 51.01:16 Ф 86 Язык логики/ | 51.01:16 Х 20 Математическая логика и теория множеств: О соотношении абстрактного и конкретного/ | 51.01:16 Ч 38 Математическое логика и автоматическое доказательство теорем/ |
Библиогр.: с.501-509
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.