Proof and Disproof in Formal Logic

Oxford University Press
Proof and Disproof in Formal Logic