17 research outputs found

    Algebraization of quantifier logics, an introductory overview

    No full text
    corecore