Structurally complete superintuitionisic logics and primitive varieties of pseud-Boolean algebras

18

Transcript of Structurally complete superintuitionisic logics and primitive varieties of pseud-Boolean algebras