517.2 С741 Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977. Ч. 1 : Теория моделей. - 1982. - 392 с. - ). - Б. ц. ГРНТИ 27.03.19 УДК:510.6(035) Ключевые слова: математическая логика -- теория моделей -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\ --- Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
517.2 С741 Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977. Ч. 2 : Теория множеств. - 1982. - 376 с. - ). - Б. ц. ГРНТИ 27.03.19 УДК:510.6(035) Ключевые слова: математическая логика -- теория множеств -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\ --- Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
517.2 С741 Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977. Ч. 3 : Теория рекурсии. - 1982. - 360 с. - ). - Б. ц. ГРНТИ 27.03.19 УДК:510.6(035) Ключевые слова: математическая логика -- теория рекурсии -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\ --- Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
517.2 С741 Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977. Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. ; 22 см. - ). - Библиогр. в конце глав. - Предм. указ.: с. 383-388. - 20000 экз.. - (в пер.) : 2.10 р. ГРНТИ 27.03.19 УДК:510.6(035) Ключевые слова: математическая логика -- теория доказательств -- конструктивная математика -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\ --- Экземпляры всего: 3 Mесто хранения: кх (3) Свободны: кх (3) |