Lev D. Beklemishev

Logic, Language, Information and Computation
Lev D. Beklemishev · 2011
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2011
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6642
- Publisher
- Springer Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783642209192
Data source: Wikidata
More by Lev D. Beklemishev
Lev D. Beklemishev

Computer Science -- Theory and Applications
Lev D. Beklemishev · 2015
Lev D. Beklemishev

Fields of Logic and Computation II
Lev D. Beklemishev · 2015
Lev D. Beklemishev
Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)
Lev D. Beklemishev · 2007
Lev D. Beklemishev
Constructive Order Types
Lev D. Beklemishev · 2000
Lev D. Beklemishev
Contributions to Non-Standard Analysis
Lev D. Beklemishev · 2000
Lev D. Beklemishev
Provability, Computability and Reflection
Lev D. Beklemishev · 2000
Lev D. Beklemishev
Computer Programming and Formal Systems
Lev D. Beklemishev · 2000
Lev D. Beklemishev
Provability, Computability and Reflection Vol. II
Lev D. Beklemishev · 2000