00971nam a2200265 a 4500001001400000003000700014005001700021008004100038020002500079039004500104040000800149090002100157100001700178245006700195260004200262300003400304500001900338504005000357650001700407650003700424700001900461952011600480999002700596999008200623vtls000096950KUKTEM20251125103230.0160808t2014    flua   f      001 0 eng d  a9781466514904 (pbk.) 9a201610061114bsafuray201608081047zepul  aUMP  aQA9.54 .T39 20141 aTaylor, John10aUnderstanding mathematical proof /cJohn Taylor, Rowan Garnier  aBoca Raton :bTaylor & Francis,c2014  axix, 394 p. :bill. ;c24 cm.  a"A CRC title."  aIncludes bibliographical references and index 0aProof theory 0aLogic, Symbolic and mathematical1 aGarnier, Rowan  00104070a10000b10000d2019-09-04l0oQA9.54 .T39 2014p0000113230r2019-09-04 00:00:00t1w2019-09-04yOPEN  aVIRTUA40c83501d83507  aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*5000*5040*6500*6501*7000*9992