
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-SEK-592832"
Записи: 1 - 6 из 6 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
1983	Институт кибернетики (Таллин)	Автоматический синтез программ : [сб.ст.] / АН ЭССР, Ин-т кибернетики ; под ред. Г.Е. Минца, Э.Х. Тыугу
1983		Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова
2003	Крайзель, Георг	Биография Курта Геделя / Г.Крайзель ; Пер. с англ. Г.Е.Минца и др
2022	Колмогоров, Андрей Николаевич (доктор физико-математических наук, математик ; 1903—1987)	Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редколлегия: Г. Е. Минц (ответственный редактор) и др.] ; Московский государственный университет имени М. В. Ломоносова
2008	Клини, Стивен Коул (1909—1994)	Математическая логика = Mathematical logic : перевод с английского / С. К. Клини ; перевод с английского Ю. А. Гастева ; под редакцией Г. Е. Минца ; предисловие Ю.А. Гастева, Г. Е. Минца
2005	Колмогоров, Андрей Николаевич (доктор физико-математических наук, математик ; 1903—1987)	Математическая логика : учеб. пособие для студентов мат. специальностей вузов / А.Н. Колмагоров, А.Г. Драгалин ; редкол.: Г.Е. Минц (отв. ред.) [и др.] ; Моск. гос. ун-т им. М.В. Ломоносова

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси