AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Lev Beklemishev

Lev Beklemishev

Steklov Mathematical Institute Russian Academy of Sciences - Moscow / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4415093
Математический институт имени В. А. Стеклова Российской академии наук
person_outline Lev Beklemishev's MOST POPULAR ARTICLES
1-) An algebraic approach to non-classical logics Elsevier, 2000
2-) Model theory for infinitary logic Elsevier, 2000
3-) Provability logic Handbook of Philosophical Logic, 2nd Edition, 189-360, 2005
4-) Reflection principles and provability algebras in formal arithmetic Russian Mathematical Surveys 60 (2), 197-268, 2005
5-) Provability algebras and proof-theoretic ordinals, I Annals of Pure and Applied Logic 128 (1-3), 103-123, 2004