The Synthesis Company of San Francisco Mountain Logo
Algebraic semantics for superintuitionistic predicate logics | doi.page