Lev D. Beklemishev · 9 obras en el catálogoObrasLogic, Language, Information and ComputationComputer Science -- Theory and ApplicationsFields of Logic and Computation IIPProvability, Computability and ReflectionProvability, Computability and ReflectionCContributions to Non-Standard AnalysisContributions to Non-Standard AnalysisCConstructive Order TypesConstructive Order TypesCComputer Programming and Formal SystemsComputer Programming and Formal SystemsPProvability, Computability and Reflection Vol. IIProvability, Computability and Reflection Vol. IIPProvability, Computability and Reflection, Volume 152 (StudiProvability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)
PProvability, Computability and Reflection, Volume 152 (StudiProvability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)
