Treffer 1 – 3 von 3 für Suche 'Jong, Dick de', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Interpretability in PRA

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

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The Kuznetsov-Gerciu and Rieger-Nishimura logics the boundaries of the finite model property

    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 Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computations in fragments of intuitionistic propositional logic

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: