More by Lev D. Beklemishev
SET THEORY
Book 86
Generalized Recursion Theory II
Book 94
Provability, Computability and Reflection
Book 5
Languages with Expressions of Infinite Length
Book 36
Foundational Studies Selected Works
Algebra of Proofs
Book 88
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Provability, Computability and Reflection
Book 3
Provability, Computability and Reflection
Book 29
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
Book 44
Non-Classical Logics, Model Theory, And Computability
Book 89
The Problem of Inductive Logic
Book 51
Logic Colloquium '77
Book 96
Provability, Computability and Reflection
Book 7
Constructive Order Types
Combinatorial Set Theory
Book 91
Provability, Computability and Reflection
Book 24
Provability, Computability and Reflection
Book 15
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings