ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Доказуемое и недоказуемое/ Ю.И. Манин; Ред. Т.М. Любимова
Material type:
TextLanguage: Russian Series: КибернетикаPublication details: Москва: Советское рсдио, 1979.Description: 165 сSubject(s):
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 М 23 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP 22036 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 Л 19 Доказательства и опровержения: Как доказываются теоремы/ | 51.01:16 Л 59 Заметки по логике/ | 51.01:16 Л 69 Логика и компьютер: Моделирование рассуждений и проверка правильности программ/ | 51.01:16 М 23 Доказуемое и недоказуемое/ | 51.01:16 М 26 Элементы математической логики | 51.01:16 М 29 Очерки по конструктивной математике/ | 51.01:16 М 31 Теория дедуктивных систем и ее применения/ |
Библиогр.: с.161-163
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.