![]() БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Запись в MARC-формате
копировать MARC-запись |
=LDR 00000cx\\a2200229\\\45\\
=001 BY-SEK-447571
=005 20190629145039.3
=100 \\$a20090520arusy0201\\\\ca0
=101 \\$arus
=102 \\$aRU
=120 \\$aba
=152 \\$apsbo$bBY-auth
=106 \\$a0
=200 \1$aБеклемишев$bЛ. Д.$gЛев Дмитриевич$cдоктор физико-математических наук, математик$fрод. 1967
=340 \\$aРоссийский математик, специалист в области математической логики. Доктор физико-математических наук (1998), профессор. Член-корреспондент Российской академии наук (2006). Заместитель директора по научной работе, главный научный сотрудник Математического института им. В. А. Стеклова Российской академии наук, одновременно профессор кафедры математической логики и теории алгоритмов Московского государственного университета им. М. В. Ломоносова (информ. на 2019).
=340 \\$aНаучные интересы: теория доказательств; формальная арифметика.
=801 \2$aBY$bBY-HM0000$c20190629
=801 \0$aBY$bSEK$c20090520
=810 \\$aСхемы рефлексии в формальной арифметике : автореферат диссертации ... доктора физико-математических наук : 01.01.06 / Беклемишев Лев Дмитриевич. — Москва, 1998.
=856 4\$uhttp://www.mi-ras.ru/index.php?c=staff###$zСайт Математического института им. В. А. Стеклова.$zДата обращения: 29.06.2019.
=856 4\$uhttps://ru.wikipedia.org/wiki/%D0%91%D0%B5%D0%BA%D0%BB%D0%B5%D0%BC%D0%B8%D1%88%D0%B5%D0%B2,_%D0%9B%D0%B5%D0%B2_%D0%94%D0%BC%D0%B8%D1%82%D1%80%D0%B8%D0%B5%D0%B2%D0%B8%D1%87$zСайт "Википедия".$zДата обращения: 29.06.2019.
=999 \\$g1839 NLB-NDARD$t20190629
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |