000 01227cam a2200301 a 4500
001 12445885
003 NUST - PNEC
005 20170116180814.0
008 010619s2002 nyua b 001 0 eng
010 _a 2001026941
020 _a0471406473
040 _aDLC
_cLIBRARY
_dDLC
050 0 0 _aQA9.54
_b.S65 2001
082 0 0 _a511.3 SOL
100 1 _aSolow, Daniel.
245 1 0 _aHow to read and do proofs : an introduction to mathematical thought processes /
_cDaniel Solow.
250 _a3rd ed.
260 _aNew York :
_bWiley,
_cc2002.
300 _axviii, 202 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references (p. 199-200) and index.
650 0 _aProof theory.
650 0 _aLogic, Symbolic and mathematical.
_xME
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/description/wiley035/2001026941.html
856 4 _3Table of Contents
_uhttp://www.loc.gov/catdir/toc/onix06/2001026941.html
906 _a7
_bcbc
_corignew
_d1
_eocip
_f20
_gy-gencatlg
942 _2ddc
_cBK
999 _c63473
_d63473