000 00898cam a2200277 i 4500
001 u78686
003 SIRSI
005 20240619145854.0
008 110131 eng
020 _a0120885093
_qpbk.
020 _a9780120885091
_qpbk.
050 _aQA9.54
_b.C86 2005
100 1 _aCupillari, Antonella. ,
_eauthor
_9188967
245 1 4 _aThe nuts and bolts of proofs /
_cAntonella Cupillari.
250 _a3rd ed.
264 1 _aAmsterdam :
_bElsevier,
_c2005.
300 _axii, 179 pages :
_billustrations ;
_c23 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
596 _a1 3
650 0 _aProof theory.
_927037
907 _a.b10375375
_b07-11-22
_c12-09-18
998 _am
_b06-11-22
_cm
_da
_e-
_feng
_g
_h4
999 _c28905
_d28905