Suchergebnisse - Jong, Dick de

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

    Interpretability in PRA
    von Bilkova, Marta, Jong, Dick de, Joosten, Joost J.

    Veröffentlicht 2008
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property
    von Bezhanishvili, Guram, Bezhanishvili, Nick, Jong, Dick de

    Veröffentlicht 2008
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Computations in fragments of intuitionistic propositional logic
    von Jong, Dick de, Hendriks, Lex, Renardel de Lavalette, Gerard R.

    Veröffentlicht 1988
    Buch


    Gespeichert in:

Suchwerkzeuge: