作者 Lev D. Beklemishev 的书籍 - BookPine

Advances in Modal Logic Volume 11

Advances in Modal Logic Volume 11

Lev D. Beklemishev

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lev D. Beklemishev

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, ... Computer Science and General Issues)

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, ... Computer Science and General Issues)

Lev D. Beklemishev

Provability, Computability and Reflection

Provability, Computability and Reflection

Lev D. Beklemishev

Provability, Computability and Reflection (Volume 154)

Provability, Computability and Reflection (Volume 154)

Lev D. Beklemishev

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev

Advances in Modal Logic Volume 8

Advances in Modal Logic Volume 8

Lev D. Beklemishev

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Yehoshua Bar-Hillel

Provability, Complexity, Grammars

Provability, Complexity, Grammars

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 103

Provability, Computability and Reflection, Volume 103

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 96

Provability, Computability and Reflection, Volume 96

Lev D. Beklemishev

Handbook of Mathematical Logic, Volume 90

Handbook of Mathematical Logic, Volume 90

Lev D. Beklemishev

An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 79

Provability, Computability and Reflection, Volume 79

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 68

Provability, Computability and Reflection, Volume 68

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 62

Provability, Computability and Reflection, Volume 62

Lev D. Beklemishev

Provability, Computability and Reflection, Volume 60

Provability, Computability and Reflection, Volume 60

Lev D. Beklemishev