Search Results - Jong, Dick de

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    Cover Image

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

    Published 2008
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 2008
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: