Lev D. Beklemishev
Books
- Fields of Logic and Computation II
- Computer Science -- Theory and Applications
- Provability, Computability and Reflection Vol. II
- Contributions to Non-Standard Analysis
- Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)
- Computer Programming and Formal Systems
- Constructive Order Types
- Provability, Computability and Reflection
- Logic, Language, Information and Computation
Author data: Open Library