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

Справка

    Математик, логик. Доктор физико-математических наук (1988). Окончил Ленинградский государственный университет (1961). Работал в Ленинградском отделении Математического института им. В. А. Стеклова. С 1980 г. жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР. С 1991 г. – профессор отделения философии Стенфордского университета (США).
    Автор трудов в области семантики декларативных языков программирования и синтеза программ, логики и философии математики.

        Вариантная форма имени

Mints, Grigori (1939—2014) (английский язык)

Минц, Григорий Эфраимович (1939—2014)

Минц, Григорий Ефимович (1939—2014)

        Источники информации
    Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редколлегия: Г. Е. Минц (ответственный редактор) и др.]. — Москва, 2022.
    Сайт Института систем информатики им. А. П. Ершова СО РАН. Некролог. Дата обращения: 24.01.2022.
    Сайт "Википедия". Дата обращения: 24.01.2022.