Return to Issue Details Logic and mathematics: a propositional calculus with just three primitive concepts Download Download PDF