Algebraic semantics for deductive systems

From MaRDI portal
Publication:1422450