Cupillari, Antonella.
The nuts and bolts of proofs /
Antonella Cupillari.
- 3rd ed.
- Amsterdam ; Boston : Elsevier Academic Press, c2005.
- xii, 179 p. : ill. ; 23 cm.
Includes bibliographical references (p. 173-176) and index.
9780120885091 (acid-free paper) 0120885093 (acid-free paper)
2005-296426
Proof theory.
QA9.54 / .C86 2005