P H Nidditch

• Propositional calculus