Concerning the notion of completeness of invariant propositional calculi

From MaRDI portal
Publication:1844204