2 results Refine Results
  1. 1
    by Fitting, Melvin, 1942-
    Published 1999
    “...Synthese library...”
    Book
    Save to List
    Saved in:
    First-order modal logic /
  2. 2
    by Fitting, Melvin, 1942-
    Published 1983
    “...Synthese library ;...”
    Book
    Save to List
    Saved in:
    Proof methods for modal and intuitionistic logics /

Search Tools: