Search Results - Hendriks, Lex

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

    Intuitionistic propositional logic with only equivalence has no interpolation
    by Hendriks, Lex

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    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:
  3. 3
    Cover Image

    Characterization of strongly equivalent logic programs in intermediate logics
    by Hendriks, Lex, Jongh, Dick de

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: