vix.ing · top · new · best · stats · spec

R. A. Bull

  1. A modal extension of intuitionist logic.
    1965/01/01 by R. A. Bull · 2 citations
    Computer Science · #Logic, Reasoning, and Knowledge