MARC Record from marc_nuls

LEADER: 02123cam 2200397 a 4500
001 9922551980001661
005 20150423144308.0
008 040827s2005 njua b 001 0 eng
010 $a 2004058651
020 $a0471680583 (pbk. : acid-free paper)
020 $a9780471680581 (pbk. : acid-free paper)
029 1 $aYDXCP$b2144553
035 $a(CSdNU)u295319-01national_inst
035 $a(OCoLC)56413065
035 $a(OCoLC)56413065
035 $a(OCoLC)56413065
040 $aDLC$cDLC$dBAKER$dYDXCP$dOCLCQ$dBTCTA$dOrLoB-B
049 $aCNUM
050 00 $aQA9.54$b.S65 2005
082 00 $a511.3/6$222
100 1 $aSolow, Daniel.
245 10 $aHow to read and do proofs :$ban introduction to mathematical thought processes /$cDaniel Solow.
250 $a4th ed.
260 $aHoboken, N.J. :$bJohn Wiley,$cc2005.
300 $a269 p. :$bill. ;$c25 cm.
504 $aIncludes bibliographical references (p. 265-266) and index.
505 0 $a1. The truth of it all -- 2. The forward-backward method -- 3. On definitions and mathematical terminology -- 4. Quantifiers I : the construction method -- 5. Quantifiers II : the choose method -- 6. Quantifiers III : specialization -- 7. Quantifiers IV : nested quantifiers -- 8. Nots of nots lead to knots -- 9. The contradiction method -- 10. The contrapositive method -- 11. Uniqueness methods and induction -- 12. Either/or and max/min methods -- 13. Summary -- App. A. Examples of proofs from discrete mathematics -- App. B. Examples of proofs from linear algebra -- App. C. Examples of proofs from modern algebra -- App. D. Examples of proofs from real analysis.
650 0 $aProof theory$vTextbooks.
650 0 $aLogic, Symbolic and mathematical$vTextbooks.
938 $aBaker & Taylor$bBKTY$c52.55$d52.55$i0471680583$n0006051092$sactive
938 $aYBP Library Services$bYANK$n2144553
938 $aBaker and Taylor$bBTCP$n2004058651
947 $fCOLS-MTH$hCIRCSTACKS$p$49.92$q1
949 $aQA 9.54 .S65 2005$i31786102108146
994 $a92$bCNU
999 $aQA 9.54 .S65 2005$wLC$c1$i31786102108146$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u4/9/2007