Lev D. Beklemishev

Identifiers

Open LibraryOL3405382A

Top Subjects

Computer science, mathematics (3)
Logic, symbolic and mathematical (1)
Mathematics (1)
General (1)
Science/Mathematics (1)
Mathematics / General (1)
Information Theory (1)

Books by Lev D. Beklemishev

Total count: 9

Computer Programming and Formal Systems

Elsevier Science & Technology Books2000-01-01
Provability, Computability and Reflection

Elsevier Science & Technology Books2000-01-01
Contributions to Non-Standard Analysis

Elsevier Science & Technology Books2000-01-01
Constructive Order Types

Elsevier Science & Technology Books2000-01-01
Provability, Computability and Reflection Vol. II

Elsevier Science & Technology Books2000-01-01
Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)

Elsevier Science2007-04-12
Logic, Language, Information and Computation18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Springer Berlin Heidelberg2011-01-01
Computer Science -- Theory and Applications10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Springer London, Limited2015-01-01
Fields of Logic and Computation IIEssays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer London, Limited2015-01-01