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