L. Beklemishev
发表
A. L. Semenov,
A. Razborov,
V. Uspenskii,
2006
.
Lev D. Beklemishev,
L. Beklemishev,
2000,
Journal of Symbolic Logic.
Lev D. Beklemishev,
L. Beklemishev,
2007
.
D. Gabelaia,
L. Beklemishev,
2018
.
L. Beklemishev,
2011
.
B. Khoussainov,
Matthias Aschenbrenner,
V. Becher,
2020,
The Journal of Symbolic Logic.
Lev D. Beklemishev,
L. Beklemishev,
2017,
WoLLIC.
L. Beklemishev,
2018
.
Kenneth Kunen,
Valentina Harizanov,
Penelope Maddy,
2005
.
Daniyar S. Shamkanov,
L. Beklemishev,
D. Shamkanov,
2016,
1602.05728.
H. Tompits,
L. Beklemishev,
Gerald Berger,
2016,
Log. J. IGPL.
A. Visser,
L. Beklemishev,
2005
.
L. Beklemishev,
1994
.
L. Beklemishev,
1989
.
L. Beklemishev,
1987
.
T. Flaminio,
L. Beklemishev,
2016,
Studia Logica.
L. Beklemishev,
2022,
Doklady Mathematics.
L. Beklemishev,
2022,
2203.08583.
Alexander A. Razborov,
Lev D. Beklemishev,
Sergei Petrovich Novikov,
2021
.
Lev D. Beklemishev,
A. L. Rastsvetaev,
L. Beklemishev,
2000,
Inf. Process. Lett..
J. Makowsky,
L. Beklemishev,
A. Dmitrieva,
2020,
2012.03250.
L. Beklemishev,
2006
.
David Gabelaia,
Lev Beklemishev,
D. Gabelaia,
2012,
1210.7317.
Albert Visser,
Lev D. Beklemishev,
A. Visser,
2006
.
Evgeny Kolmakov,
Lev Beklemishev,
L. Beklemishev,
2018,
Doklady Mathematics.
Lev D. Beklemishev,
L. Beklemishev,
2005
.
Lev D. Beklemishev,
L. Beklemishev,
2003,
Arch. Math. Log..
Lev D. Beklemishev,
L. Beklemishev,
1999,
Theor. Comput. Sci..
Lev D. Beklemishev,
L. Beklemishev,
1998,
Arch. Math. Log..
Lev D. Beklemishev,
L. Beklemishev,
1995,
Ann. Pure Appl. Log..
Tommaso Flaminio,
Lev D. Beklemishev,
T. Flaminio,
2016,
Stud Logica.
Lev D. Beklemishev,
L. Beklemishev,
2011
.
Lev D. Beklemishev,
Joost J. Joosten,
Marco Vervoort,
2005,
J. Log. Comput..
Lev D. Beklemishev,
L. Beklemishev,
2001,
Ann. Pure Appl. Log..
Lev D. Beklemishev,
L. Beklemishev,
1996,
Journal of Symbolic Logic.
Lev D. Beklemishev,
L. Beklemishev,
1994,
Ann. Pure Appl. Log..
Sergei N. Artëmov,
Lev D. Beklemishev,
L. Beklemishev,
1993,
Notre Dame J. Formal Log..
Lev D. Beklemishev,
L. Beklemishev,
1993,
Arch. Math. Log..
L. D. Beklemishev,
L. Beklemishev,
1992
.
Lev D. Beklemishev,
L. Beklemishev,
1991,
Stud Logica.
Lev D. Beklemishev,
L. Beklemishev,
1990
.
Lev D. Beklemishev,
L. Beklemishev,
2007,
Ann. Pure Appl. Log..
Lev D. Beklemishev,
Fedor N. Pakhomov,
F. Pakhomov,
2019,
Ann. Pure Appl. Log..
Lev D. Beklemishev,
L. Beklemishev,
A A Onoprienko,
2015
.
Valentin Goranko,
Valentin B. Shehtman,
Lev Beklemishev,
2010
.