Your search for Lev D. Beklemishev

10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Logic with Countable Conjunctions and Finite Quantifiers

Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978

An Exposition of the Theory of Kurt Godel

Especially in Relation to Recursive Functions

Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 3

(Model Theory)

Proceedings of the Logic Colloquium, Hannover 1966