Lev D. Beklemishev

No bio available. Add one in Open Library.

Books by Lev D. Beklemishev (50 max)

+ shelf+ list

Provability, Computability and Reflection

2000

Lev D. Beklemishev

+ shelf+ list

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2015

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

+ shelf+ list

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2015

Lev D. Beklemishev, Daniil V. Musatov

+ shelf+ list

Computer Programming and Formal Systems

2000

Lev D. Beklemishev

+ shelf+ list

Contributions to Non-Standard Analysis

2000

Lev D. Beklemishev

+ shelf+ list

Constructive Order Types

2000

Lev D. Beklemishev

+ shelf+ list

Provability, Computability and Reflection Vol. II

2000

Lev D. Beklemishev

+ shelf+ list

Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)

2007

Lev D. Beklemishev

+ shelf+ list

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

2011

Lev D. Beklemishev