Treffer 1 - 20 von 115 für Suche 'Dep. of Philosophy, Utrecht Univ.', Suchdauer: 1,32s Treffer weiter einschränken
  1. 1

    Prolegomena to the categorical study of interpretations von Visser, Albert

    Veröffentlicht 2006
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  2. 2

    Propositional proof systems and fast consistency provers von Joosten, Joost J.

    Veröffentlicht 2006
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  3. 3

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

    Veröffentlicht 2005
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  4. 4

    Admissible rules of modal logics von Jeřábek, Emil

    Veröffentlicht 2005
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  5. 5

    Propositional logics of closed and open substitutions over Heyting's arithmetic von Visser, Albert

    Veröffentlicht 2005
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  6. 6

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

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  7. 7

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

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  8. 8

    Continuing controlled hybrid automata von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  9. 9

    No escape from Vardanyan's theorem von Visser, Albert

    Veröffentlicht 2003
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  10. 10

    Residuals in higher-order rewriting von Bruggink, H. J. Sander

    Veröffentlicht 2003
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  11. 11

    A new equivalence for processes with timing von Baeten, Josephus C. M., Middelburg, Cornelis A., Reniers, M. A. 1970-

    Veröffentlicht 2002
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  12. 12

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

    Veröffentlicht 2001
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  13. 13

    Real time Process algebra with time-dependent conditions von Baeten, Josephus C. M., Middelburg, Cornelis A.

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  14. 14

    On the admissible rules of intuitionistic propositional logic von Iemhoff, Rosalie

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  15. 15

    Variable binding operators in transition system specifications von Middelburg, Cornelis A.

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  16. 16

    The irreflexivity of Brouwer's philosophy von Atten, Markus Sebastiaan Paul Rogier van

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  17. 17

    Why Husserl should have been a strong revisionist in mathematics von Atten, Markus Sebastiaan Paul Rogier van

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  18. 18

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

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  19. 19

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

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  20. 20

    Sub-Birkhoff von Oostrom, Vincent van

    Veröffentlicht 2000
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch