| LEADER | 00803cam a2200229 4500 | ||
|---|---|---|---|
| 001 | 001094500 | ||
| 005 | 20230113151214.0 | ||
| 008 | 060322s2005 ne a 1 eng l | ||
| 010 | |a 2005296426 | ||
| 020 | |a 0120885093 | ||
| 020 | |a 9780120885091 | ||
| 089 | |a 511.36 | ||
| 100 | 1 | |a Cupillari, Antonella | |
| 245 | 1 | 4 | |a The nuts and bolts of proofs / |c Antonella Cupillari. |
| 250 | |a 3rd ed. | ||
| 260 | |a Amsterdam ; |a London : |b Elsevier, |c c2005. | ||
| 300 | |a xii, 179 p : |b ill ; |c 23 cm. | ||
| 504 | |a Includes bibliographical references (p. 173-176) and index | ||
| 650 | 0 | 0 | |a Proof theory |
| 952 | |0 0 |1 0 |4 0 |6 511_360000000000000_CUP |7 0 |9 713901 |a PILKINGTON |b PILKINGTON |c MAIN |d 2006-06-21 |g 16.79 |l 7 |m 19 |o 511.36/CUP |p 0403258677 |r 2023-09-08 |s 2023-01-13 |w 2018-02-01 |y LONG | ||
| 999 | |c 436940 |d 436940 | ||
| 942 | 0 | 0 | |0 3 |