Ч. 4 : Теория доказательств и конструктивная математика
Set Level: Справочная книга по математической логике, в 4-х частях, пер. с англ. / под ред. Дж. Барвайса, Ч. 4 : Теория доказательств и конструктивная математика = 1982-1983Language: русский ; of original work, английский.Country: Россия.Publication: 1983Description: 391 с. : ил.Bibliography: Предм. указ.: с. 383-388.; Библиогр. в конце глав..Subject: математика | математическая логика | доказательства | конструктивная математика | программа Гильберта | теоремы Геделя | кодирование | полнота | справочники| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 83-6428 | Available | 13821000779660 | ||||||||||||||
| Books | НТБ ТПУ Научный фонд | 83-6627 | Available | 13821000779475 | ||||||||||||||
| Books | НТБ ТПУ Учебный фонд | 510 С741 | Available | 13821000058348 |
Перевод изд.: Handbook of mathematical logic
Предм. указ.: с. 383-388.
Библиогр. в конце глав.
There are no comments on this title.