Now showing items 1-6 of 1

    Leibniz operator (1)
    Referential Logics (1)
    Selfextensional Logics (1)
    Suszko operator (1)
    Tarski operator (1)
    π-institutions (1)