unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков 
Базовый поискРасширенный поиск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 на Вашем браузере