Sökt på: Böcker av Lev D. Beklemishev
totalt 10 träffar
Provability, Computability and Reflection
Provability, Computability and Reflection
Logic, Language, Information, and Computation
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The …
Fields of Logic and Computation II
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, …
Contributions to Non-Standard Analysis
Contributions to Non-Standard Analysis
Computer Science -- Theory and Applications
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers …
Logic, Language, Information, and Computation
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The …
Computer Programming and Formal Systems
Computer Programming and Formal Systems
Computer Science -- Theory and Applications
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers …
Fields of Logic and Computation II
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, …
Constructive order types
Constructive order types