СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Запись в MARC-формате
копировать MARC-запись |
=LDR 00000cx\\a2200265\\\45\\
=001 BY-SEK-592832
=005 20220124111927.7
=100 \\$a20090521arusy50\\\\\\ca0
=101 \\$arus$aeng
=102 \\$aRU$aUS
=120 \\$aba
=152 \\$apsbo$bBY-auth
=106 \\$a0
=200 \1$aМинц$bГ. Е.$gГригорий Ефроимович$cдоктор физико-математических наук$f1939—2014
=340 \\$aМатематик, логик. Доктор физико-математических наук (1988). Окончил Ленинградский государственный университет (1961). Работал в Ленинградском отделении Математического института им. В. А. Стеклова. С 1980 г. жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР. С 1991 г. – профессор отделения философии Стенфордского университета (США).
=340 \\$aАвтор трудов в области семантики декларативных языков программирования и синтеза программ, логики и философии математики.
=400 \1$8ruseng$7ca0yba0b$aMints$bG.$gGrigori$f1939—2014
=400 \1$aМинц$bГ. Е.$gГригорий Ефимович$f1939—2014
=400 \1$aМинц$bГ. Э.$gГригорий Эфраимович$f1939—2014
=801 \2$aBY$bBY-HM0005$c20220124
=801 \0$aBY$bSEK$c20090521
=810 \\$aМатематическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редколлегия: Г. Е. Минц (ответственный редактор) и др.]. — Москва, 2022.
=856 4\$uhttps://www.iis.nsk.su/news/2014-06-03-0$zСайт Института систем информатики им. А. П. Ершова СО РАН. Некролог.$zДата обращения: 24.01.2022.
=856 4\$uhttps://ru.wikipedia.org/wiki/Минц,_Григорий_Ефроимович$zСайт "Википедия".$zДата обращения: 24.01.2022.
=999 \\$g03163 cnb-okv$t20220124
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |