Logic, Language, Information and ComputationLev D. Beklemishev

Logic, Language, Information and Computation

Lev D. Beklemishev · 2011

איפה לקנות

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

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

פרטי הספר

שנה: 2011
שפה: English
סדרה: Lecture Notes in Computer Science -- 6642
הוצאה: Springer Berlin Heidelberg
מהדורות: 1
ISBN: 9783642209192

מקור הנתונים: 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

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

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