Yazar
lev d beklemishev
9 cilt bulundu.
Cilt sonuçları
Logic, Language, Information and Computation
Lev D. Beklemishev · Springer Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computational complexity / Computer science / Data processing / Algebra
Fields of Logic and Computation II
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · Springer London, Limited
329 sayfa · 2015
Logic
Constructive Order Types
Lev D. Beklemishev · Elsevier Science & Technology Books
7223 sayfa · 2000
Computer science, mathematics
Contributions to Non-Standard Analysis
Lev D. Beklemishev · Elsevier Science & Technology Books
288 sayfa · 2000
Computer science, mathematics
Computer Programming and Formal Systems
Lev D. Beklemishev · Elsevier Science & Technology Books
160 sayfa · 2000
Computer science, mathematics
Provability, Computability and Reflection Vol. II
Lev D. Beklemishev · Elsevier Science & Technology Books
Sayfa sayısı yok · 2000
Logic, symbolic and mathematical