Stav dette: Propositional calculus / by P. H. Nidditch.