The nuts and bolts of proofs
Cupillari, Antonella.
The nuts and bolts of proofs [electronic resource] / Antonella Cupillari. - 3rd ed. - Amsterdam ; Boston : Elsevier Academic Press, c2005. - xii, 179 p. : ill.
Includes bibliographical references (p. 173-176) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Electronic books.
QA9.54 / .C86 2005eb
511.3/6
The nuts and bolts of proofs [electronic resource] / Antonella Cupillari. - 3rd ed. - Amsterdam ; Boston : Elsevier Academic Press, c2005. - xii, 179 p. : ill.
Includes bibliographical references (p. 173-176) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Electronic books.
QA9.54 / .C86 2005eb
511.3/6