The nuts and bolts of proofs - Cupillari, Antonella (Amsterdam ; Boston : Elsevier Academic Press, 2005)
Includes bibliographical references (p. 173-176) and index.
Keywords: Proof theory