Books by Lev D. Beklemishev
Fields of Logic and Computation II
Provability, Computability and
Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)
Constructive Order Types
Provability, Computability and
Provability, Computability and Reflection
Provability, Computability and
Provability, Computability and Reflection Vol. II