More by Lev D. Beklemishev
Provability, Computability and Reflection
Book 33
WORD PROBLEMS II
Book 95
Provability, Computability and Reflection
Book 34
Provability, Computability and Reflection
Book 13
Elements of Mathematical Logic
Book 48
Sets, Models and Recursion Theory
Book 46
Provability, Computability and Reflection
Book 16
Logic Colloquium 76, Proceedings of a conference
Book 87
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Book 99
Introduction to the Theory of Finite Automata
Book 38
Studies in Logic and the Foundations of Mathematics: Volume 42
Book 42
Intuitionistic Logic Model Theory and Forcing
Provability, Computability and Reflection
Book 20
Provability, Computability and Reflection
Book 11
Computer Programming and Formal Systems
Book 35
Provability, Computability and Reflection
Book 32
A Transfinite Type Theory with Type Variables
Book 37
Provability, Computability and Reflection
Book 19
Lincos: Design of a Language for Cosmic Intercourse
Book 28
Foundational Studies