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

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2007
שפה: English
הוצאה: Elsevier Science
מהדורות: 1
ISBN: 9780444520401

מקור הנתונים: Wikidata

עוד של 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