The nuts and bolts of proofs /
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 0120885093
2005296426
Proof theory.
QA9.54 / .C92 2005
511.3/6
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 0120885093
2005296426
Proof theory.
QA9.54 / .C92 2005
511.3/6