Beklemishev, Lev Dmitrievich, 1967-
Beklemishev, Lev D.
Beklemishev, L.D. (Lev Dmitrievich), 1967-
Beklemišev, Lev Dmitrievič (1967- ).
Beklemishev, Lev D. 1967-
Лев Дмитриевич Беклемишев российский математик и логик, академик РАН
Beklemišev, Lev
Beklemishev, Lev Dmitrievich
VIAF ID: 60871940 ( Personal )
Permalink: http://viaf.org/viaf/60871940
Preferred Forms
-
- 100 1 _ ‡a Beklemishev, Lev D.
- 100 1 _ ‡a Beklemishev, Lev D. ‡d 1967-
-
- 100 1 _ ‡a Beklemishev, Lev Dmitrievich ‡d 1967-
-
- 100 1 _ ‡a Beklemishev, Lev Dmitrievich, ‡d 1967-
-
-
-
- 100 0 _ ‡a Лев Дмитриевич Беклемишев ‡c российский математик и логик, академик РАН
4xx's: Alternate Name Forms (23)
5xx's: Related Names (11)
- 510 2 _ ‡a Matematičeskij Institut Imeni V. A. Steklova ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Matematičeskij Institut Imeni V. A. Steklova
- 551 _ _ ‡a Moskau ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Moskau ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Moskovskij Gosudarstvennyj Universitet Imeni M. V. Lomonosova
- 510 2 _ ‡a Moskovskij gosudarstvennyj universitet im. M.V. Lomonosova ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a UU PHIL Theoretische filosofie
- 510 2 _ ‡a Universiteit Utrecht
- 510 2 _ ‡a Universiteit Utrecht ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Vysšaja Škola Ėkonomiki ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Vysšaja Škola Ėkonomiki
Works
Title | Sources |
---|---|
Advances in modal logic | |
Algoritmičeskie voprosy algebry i logiki : sbornik statej : k 80-letiû so dnâ roždeniâ akademika Sergeâ Ivanoviča Adâna | |
Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings | |
Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday | |
Logic, language, information and computation: 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011: proceedings | |
Mosc. lect. (Print) | |
Moscow Lectures | |
On the limit existence principles in elementary arithmetic and related topics | |
Provability, complexity, grammars, 1999: | |
Quantifier-free induction schema and the least element principle | |
Reflection principles and provability algebras in formal arithmetic | |
Veblen hierarchy in the context of provability algebras | |
The worm principle |