005 |
|
060427124247.0 |
010 |
|
|a2005296426
|
020 |
|
|a0120885093 (acid-free paper)
|
020 |
|
|a9780120885091
|
035 |
|
|a61269568
|
040 |
|
|aTWNTU|cTWNTU|dTWNTU
|
050 |
00
|
|aQA9.54|b.C86 2005
|
082 |
00
|
|a511.3/6|222
|
095 |
|
|aNTTU|bG|cE037612|d511.36|eC974|pBOOK|fSSJJ|zBOOK|m0|tDDC
|
100 |
1
|
|aCupillari, Antonella.
|
245 |
14
|
|aThe nuts and bolts of proofs /|cAntonella Cupillari.
|
250 |
|
|a3rd ed.
|
260 |
|
|aAmsterdam ;|aBoston :|bElsevier Academic Press,|cc2005.
|
300 |
|
|axii, 179 p. :|bill. ;|c23 cm.
|
504 |
|
|aIncludes bibliographical references (p. 173-176) and index.
|
650 |
0
|
|aProof theory.
|
809 |
|
|d511.36|eC974|tDDC|pBOOK
|
856 |
42
|
|zPublisher description|uhttp://www.loc.gov/catdir/enhancements/fy0627/2005296426-d.html
|
856 |
41
|
|zTable of contents|uhttp://www.loc.gov/catdir/enhancements/fy0627/2005296426-t.html
|