2 results Refine Results
  1. 1
    Published 1985
    Book
    Save to List
    Saved in:
    Intensional mathematics /
  2. 2
    by Fitting, Melvin, 1942-
    Published 1983
    Book
    Save to List
    Saved in:
    Proof methods for modal and intuitionistic logics /

Search Tools: