On some partial systems of the propositional calculus

From MaRDI portal
Publication:2394547