More by Lev D. Beklemishev
Truth, Syntax and Modality
Book 68
SET THEORY
Book 86
Generalized Recursion Theory II
Book 94
Provability, Computability and Reflection
Book 5
Generalized Recursion Theory
Book 79
Logic in Algebraic Form
Book 72
Foundational Studies Selected Works
Sets and Classes on The Work by Paul Bernays
Book 84
Logic Colloquium 76, Proceedings of a conference
Book 87
Set Theory
Book 76
The Metamathematics of Algebraic Systems
Book 66
The Axiom of Choice
Book 75
Algebra of Proofs
Book 88
Large Infinitary Languages
Book 83
Word Problems
Book 71
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Provability, Computability and Reflection
Book 3
An Algebraic Approach to Non-Classical Logics
Book 78
Proceedings of the Second Scandinavian Logic Symposium
Book 63
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
Book 44