000 00828nam a2200229 a 4500
001 vtls000070992
003 KUKTEM
005 20251125093659.0
008 130607t2013 maua f b 001 0 eng d
020 _a9780123822178
039 9 _a201403061212
_bjamie
_c201403061211
_djamie
_c201403061209
_djamie
_y201306071022
_zasmadi
040 _aUMP
090 _aQA9.54 .C87 2013
100 1 _aCupillari, Antonella
245 1 4 _aThe nuts and bolts of proofs :
_ban introduction to mathematical proofs /
_cAntonella Cupillari
250 _a4th ed.
260 _aBoston, MA :
_bElsevier Academic Press,
_cc2013
300 _aix, 283 p. :
_bill. ;
_c23 cm.
504 _aIncludes bibliographical references and index
650 0 _aProof theory
999 _aVIRTUA40
_c67092
_d67098
999 _aVTLSSORT0080*0200*0400*0900*1000*2450*2500*2600*3000*5040*6500*9992