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 View online Schließen 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 ... to E-book via DOI 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 ... to E-book via DOI (Volltext) 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 ... to E-book via DOI (Volltext) 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 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 (2018), Seite 91-106 Beklemishev, Lev D. Logic, Language, Information, and Computation: On the Reflection Calculus with Partial Conservativity Operators Articles View online Schließen > Access 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 (2017), Seite 48-67 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, 274 (2011) 1, Seite 1-3 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, 65 (2011) 5, Seite 857-899 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, 161 (2010) 6, Seite 756-774 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, 14 (2008) 2, Seite 258-259 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, 14 (2008) 2, Seite 258-259 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, 13 (2007) 2, Seite 241-243 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, 13 (2007) 2, Seite 241-243 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, 128 (2004) 1-3, Seite 103-123 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, 68 (2003) 1, Seite 17-34 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, 68 (2003) 1, Seite 17-34 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, 224 (1999) 1-2, Seite 13-33 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, 85 (1997) 3, Seite 193-242 Beklemishev, Lev D. Lecture Notes in Computer Science: Parameter free induction and reflection Articles View online Schließen > Access 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 (1997), Seite 103-113 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, 37 (1998) 5-6, Seite 275-296
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 View online Schließen 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 ... to E-book via DOI 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 ... to E-book via DOI (Volltext) 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 ... to E-book via DOI (Volltext) 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 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 (2018), Seite 91-106
Beklemishev, Lev D. Logic, Language, Information, and Computation: On the Reflection Calculus with Partial Conservativity Operators Articles View online Schließen > Access 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 (2017), Seite 48-67
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, 274 (2011) 1, Seite 1-3
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, 65 (2011) 5, Seite 857-899
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, 161 (2010) 6, Seite 756-774
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, 14 (2008) 2, Seite 258-259
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, 14 (2008) 2, Seite 258-259
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, 13 (2007) 2, Seite 241-243
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, 13 (2007) 2, Seite 241-243
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, 128 (2004) 1-3, Seite 103-123
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, 68 (2003) 1, Seite 17-34
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, 68 (2003) 1, Seite 17-34
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, 224 (1999) 1-2, Seite 13-33
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, 85 (1997) 3, Seite 193-242
Beklemishev, Lev D. Lecture Notes in Computer Science: Parameter free induction and reflection Articles View online Schließen > Access 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 (1997), Seite 103-113
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, 37 (1998) 5-6, Seite 275-296
> 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