Suchergebnisse - Beklemishev, Lev D. 1967-

  • Treffer 1 – 20 von 20
Treffer filtern
  1. 1
    Buchumschlag

    A finitary treatment of the closed fragment of Japaridzes provability logic
    von Beklemishev, Lev D. 1967-, Joosten, Joost J.

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    On the limit existence principles in elementary arithmetic and related topics
    von Beklemishev, Lev D. 1967-, Visser, Albert

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Reflection principles and provability algebras in formal arithmetic
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A finitary treatment of the closed fragment of Japaridze's provability logic
    von Beklemishev, Lev D. 1967-, Joosten, Joost J., Vervoort, Marc 1969-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    The worm principle
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Quantifier-free induction schema and the least element principle
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Problems in the logic of provability
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Veblen hierarchy in the context of provability algebras
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Provability logic
    von Artemov, S. N., Beklemishev, Lev D. 1967-

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Provability algebras and proof-theoretical ordinals, I
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    On the induction schema for decidable predicates
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    On the query complexity of finding a local maximum point
    von Rastsvetaev, A. L., Beklemishev, Lev D. 1967-

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Induction rules, reflection principles, and provably recursive functions
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Parameter free induction and reflection
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Notes on local reflection principles
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Induction rules, reflection principles, and provably recursive functions
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Iterated local reflection vs iterated consistency
    von Beklemishev, Lev D. 1967-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Beklemishev, Lev D. 1967- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Algorithmic aspects of algebra and logic: collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday

    Veröffentlicht 2011
    Weitere beteiligte Personen: “… Beklemishev, Lev D. 1967- …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Special issues on Computer science in Russia

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Beklemishev, Lev D. 1967- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: