Author

Lev D. Beklemishev

8 books found

Cover of Computer Science -- Theory and Applications

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov · First published 2015

Cover of Fields of Logic and Computation II

Fields of Logic and Computation II

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · First published 2015

Cover of Logic, Language, Information and Computation

Logic, Language, Information and Computation

Lev D. Beklemishev · First published 2011

Cover of Provability, Computability and Reflection

Provability, Computability and Reflection

Lev D. Beklemishev · First published 2000 · Latest edition 2007

Cover of Computer Programming and Formal Systems

Computer Programming and Formal Systems

Lev D. Beklemishev · First published 2000

Cover of Constructive Order Types

Constructive Order Types

Lev D. Beklemishev · First published 2000

Cover of Contributions to Non-Standard Analysis

Contributions to Non-Standard Analysis

Lev D. Beklemishev · First published 2000

Cover of Provability, Computability and Reflection Vol. II

Provability, Computability and Reflection Vol. II

Lev D. Beklemishev · First published 2000