booktheque

Computer Programming and Formal Systems

Lev D. Beklemishev · 2000

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 Amazon

Book details

Year
2000
Language
English
Publisher
Elsevier Science & Technology Books
Editions
1
Pages
160
ISBN
9780080957555

Data source: Wikidata

More by Lev D. Beklemishev

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