TY  - BOOK
AU  - Cupillari,Antonella
ED  - ProQuest (Firm)
TI  - The nuts and bolts of proofs
AV  - QA9.54 .C86 2005
U1  - 511.3/6 22
PY  - 2005///
CY  - Amsterdam, Boston
PB  - Elsevier Academic Press
KW  - Proof theory
KW  - Electronic books
N1  - Includes bibliographical references (p. 173-176) and index; Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=311405
ER  -