Propositional calculus.
Nidditch, P. H.
London, 
1962.