Skip to contents Beklemishev, Lev D. [Other]; Queiroz, Ruy de [Other]; Beklemišev, Lev D. [Editor]; Queiroz, Ruy J. G. B. de [Editor] ; WoLLIC 18 2011 Philadelphia, Pa Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6642 Beklemishev, Lev D. [Author] ; Queiroz, Ruy [Editor] Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6642 Beklemishev, Lev D. [Editor]; Musatov, Daniil V. [Editor] Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9139 Beklemishev, Lev D. [Editor]; Blaß, Andreas [Editor]; Dershowitz, Nachum [Editor]; Finkbeiner, Bernd [Editor]; Schulte, Wolfram [Editor] Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - [1st ed. 2015] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York; Dordrecht; London: Springer, 2015 Published in: Lecture notes in computer science ; 9300 Beklemishev, Lev D. Logical Foundations of Computer Science: A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇ Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Logical Foundations of Computer Science Beklemishev, Lev D. Logic, Language, Information, and Computation: On the Reflection Calculus with Partial Conservativity Operators Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Logic, Language, Information, and Computation Beklemishev, Lev D. Foreword Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2011 Published in: Proceedings of the Steklov Institute of Mathematics Beklemishev, Lev D Gödel incompleteness theorems and the limits of their applicability. I Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Steklov Mathematical Institute, 2011 Published in: Russian Mathematical Surveys Beklemishev, Lev D. Kripke semantics for provability logic GLP Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Annals of Pure and Applied Logic Beklemishev, Lev D. Review: Inexhaustibility: A Non-Exhaustive Treatment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2008 Published in: The Bulletin of Symbolic Logic Beklemishev, Lev D. Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2008 Published in: Bulletin of Symbolic Logic Beklemishev, Lev D. Review: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2007 Published in: The Bulletin of Symbolic Logic Beklemishev, Lev D. Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2007 Published in: Bulletin of Symbolic Logic Beklemishev, Lev D. Provability algebras and proof-theoretic ordinals, I Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Annals of Pure and Applied Logic Beklemishev, Lev D. On the induction schema for decidable predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2003 Published in: Journal of Symbolic Logic Beklemishev, Lev D. On the Induction Schema for Decidable Predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. The Association for Symbolic Logic, Inc., 2003 Published in: The Journal of Symbolic Logic Beklemishev, Lev D. Parameter free induction and provably total computable functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1999 Published in: Theoretical Computer Science Beklemishev, Lev D. Induction rules, reflection principles, and provably recursive functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1997 Published in: Annals of Pure and Applied Logic Beklemishev, Lev D. Lecture Notes in Computer Science: Parameter free induction and reflection Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science Beklemishev, Lev D. A proof-theoretic analysis of collection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1998 Published in: Archive for Mathematical Logic
Beklemishev, Lev D. [Other]; Queiroz, Ruy de [Other]; Beklemišev, Lev D. [Editor]; Queiroz, Ruy J. G. B. de [Editor] ; WoLLIC 18 2011 Philadelphia, Pa Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6642
Beklemishev, Lev D. [Author] ; Queiroz, Ruy [Editor] Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6642
Beklemishev, Lev D. [Editor]; Musatov, Daniil V. [Editor] Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9139
Beklemishev, Lev D. [Editor]; Blaß, Andreas [Editor]; Dershowitz, Nachum [Editor]; Finkbeiner, Bernd [Editor]; Schulte, Wolfram [Editor] Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - [1st ed. 2015] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York; Dordrecht; London: Springer, 2015 Published in: Lecture notes in computer science ; 9300
Beklemishev, Lev D. Logical Foundations of Computer Science: A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇ Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Logical Foundations of Computer Science
Beklemishev, Lev D. Logic, Language, Information, and Computation: On the Reflection Calculus with Partial Conservativity Operators Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Logic, Language, Information, and Computation
Beklemishev, Lev D. Foreword Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2011 Published in: Proceedings of the Steklov Institute of Mathematics
Beklemishev, Lev D Gödel incompleteness theorems and the limits of their applicability. I Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Steklov Mathematical Institute, 2011 Published in: Russian Mathematical Surveys
Beklemishev, Lev D. Kripke semantics for provability logic GLP Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Annals of Pure and Applied Logic
Beklemishev, Lev D. Review: Inexhaustibility: A Non-Exhaustive Treatment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2008 Published in: The Bulletin of Symbolic Logic
Beklemishev, Lev D. Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2008 Published in: Bulletin of Symbolic Logic
Beklemishev, Lev D. Review: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2007 Published in: The Bulletin of Symbolic Logic
Beklemishev, Lev D. Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2007 Published in: Bulletin of Symbolic Logic
Beklemishev, Lev D. Provability algebras and proof-theoretic ordinals, I Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Annals of Pure and Applied Logic
Beklemishev, Lev D. On the induction schema for decidable predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2003 Published in: Journal of Symbolic Logic
Beklemishev, Lev D. On the Induction Schema for Decidable Predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. The Association for Symbolic Logic, Inc., 2003 Published in: The Journal of Symbolic Logic
Beklemishev, Lev D. Parameter free induction and provably total computable functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1999 Published in: Theoretical Computer Science
Beklemishev, Lev D. Induction rules, reflection principles, and provably recursive functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1997 Published in: Annals of Pure and Applied Logic
Beklemishev, Lev D. Lecture Notes in Computer Science: Parameter free induction and reflection Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science
Beklemishev, Lev D. A proof-theoretic analysis of collection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1998 Published in: Archive for Mathematical Logic
> Media type Skip to next facet Articles (33) Wert ausschließen Books (4) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (16) Wert ausschließen Without Specification (20) Wert ausschließen Show more show less
> Language Skip to next facet English (28) Wert ausschließen Not determined (9) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (21) Wert ausschließen Philosophy (10) Wert ausschließen Computer science (3) Wert ausschließen History (1) Wert ausschließen Art and art history (1) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Beklemishev, Lev D. (32) Wert ausschließen Beklemishev, Lev D (3) Wert ausschließen Joosten, Joost J. (3) Wert ausschließen Fernández-Duque, David (2) Wert ausschließen Abraham, Uri (1) Wert ausschließen Artemov, Sergei N. (1) Wert ausschließen Artemov, Sergei Nikolaevich (1) Wert ausschließen Beklemishev, Lev (1) Wert ausschließen Beklemishev, Lev Dmitrievich (1) Wert ausschließen Beklemišev, Lev D. (1) Wert ausschließen Berger, Gerald (1) Wert ausschließen Blaß, Andreas (1) Wert ausschließen Borkin, L Ya (1) Wert ausschließen Buchstaber, Viktor M (1) Wert ausschließen Carbone, Alessandra (1) Wert ausschließen D'Aquino, Paola (1) Wert ausschließen Dantsin, Evgeny Yakovlevich (1) Wert ausschließen Dershowitz, Nachum (1) Wert ausschließen Finkbeiner, Bernd (1) Wert ausschließen Halbach, Volker (1) Wert ausschließen Hirsch, Edward Alekseevich (1) Wert ausschließen Ibragimov, Il'dar Abdullovich (1) Wert ausschließen Kalmens, E V (1) Wert ausschließen Kreinovich, Vladik Ya (1) Wert ausschließen Kubenskii, D A (1) Wert ausschließen Lodkin, Andrei Aleksandrovich (1) Wert ausschließen Lysenok, Igor G (1) Wert ausschließen Mal'tsev, Arkadii A (1) Wert ausschließen Matiyasevich, Yuri Vladimirovich (1) Wert ausschließen Montagna, Franco (1) Wert ausschließen Musatov, Daniil V. (1) Wert ausschließen Novikov, Boris Asenovich (1) Wert ausschließen Novikov, Sergei P (1) Wert ausschließen Orevkov, Vladimir Pavlovich (1) Wert ausschließen Queiroz, Ruy (1) Wert ausschließen Queiroz, Ruy J. G. B. de (1) Wert ausschließen Queiroz, Ruy de (1) Wert ausschließen Razborov, Alexander A (1) Wert ausschließen Schulte, Wolfram (1) Wert ausschließen Semenov, Aleksei L (1) Wert ausschließen Semenov, Aleksei Lvovich (1) Wert ausschließen Shen', Alexander Khanievich (1) Wert ausschließen Slisenko, Anatol Oles'evich (1) Wert ausschließen Tompits, Hans (1) Wert ausschließen Tressl, Marcus (1) Wert ausschließen Vershik, Anatolii Moiseevich (1) Wert ausschließen Vervoort, Marco (1) Wert ausschließen Visser, Albert (1) Wert ausschließen WoLLIC 18 2011 Philadelphia, Pa (1) Wert ausschließen de Jongh, Dick (1) Wert ausschließen Show more show less
> Collection Skip to next facet Cambridge University Press (CUP) (CrossRef) (7) Wert ausschließen Elsevier BV (CrossRef) (7) Wert ausschließen JSTOR Mathematics & Statistics (6) Wert ausschließen Verbunddaten SWB (4) Wert ausschließen JSTOR Arts & Sciences I Archive (3) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen Steklov Mathematical Institute (CrossRef) (3) Wert ausschließen JSTOR Arts & Sciences II Archive (2) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences VII Archive (1) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen Show more show less