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

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

Lev D. Beklemishev · 2007

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2007
Language: English
Publisher: Elsevier Science
Editions: 1
ISBN: 9780444520401

Data source: Wikidata

More by Lev D. Beklemishev

Computer Science -- Theory and ApplicationsLev D. Beklemishev

Computer Science -- Theory and Applications

Lev D. Beklemishev · 2015

Fields of Logic and Computation IILev D. Beklemishev

Fields of Logic and Computation II

Lev D. Beklemishev · 2015

Logic, Language, Information and ComputationLev D. Beklemishev

Logic, Language, Information and Computation

Lev D. Beklemishev · 2011

Constructive Order TypesLev D. Beklemishev

Constructive Order Types

Lev D. Beklemishev · 2000

Contributions to Non-Standard AnalysisLev D. Beklemishev

Contributions to Non-Standard Analysis

Lev D. Beklemishev · 2000

Provability, Computability and ReflectionLev D. Beklemishev

Provability, Computability and Reflection

Lev D. Beklemishev · 2000

Computer Programming and Formal SystemsLev D. Beklemishev

Computer Programming and Formal Systems

Lev D. Beklemishev · 2000

Provability, Computability and Reflection Vol. IILev D. Beklemishev

Provability, Computability and Reflection Vol. II

Lev D. Beklemishev · 2000