000			00793nam a22002297a 4500
001			17400124
005			20231212143315.0
008			231212b |||||||| |||| 00| 0 eng d
020			_a9780123822178
040			_aDLC _cKMU _dKMU _erda
050	0	0	_aQA 9.54
100	1		_aCupillari, Antonella.
245	1	4	_aThe nuts and bolts of proofs : _ban introduction to mathematical proofs / _cAntonella Cupillari.
250			_a4th ed.
260			_aAmsterdam ; _aBoston : _bElsevier Academic Press, _cc2013.
300			_aix, 283 p. : _bill. ; _c23 cm.
504			_aIncludes bibliographical references (p. 278-280) and index.
650		0	_aProof theory.
906			_a7 _bcbc _corigcop _d2 _encip _f20 _gy-gencatlg
942			_2lcc _cBK _n0
999			_c886 _d886