A propositional calculus intermediate between the minimal calculus and the classical

From MaRDI portal
Publication:2531266