LEADER 00000cam a22002654a 4500 
001    15597271 
005    20080618185202.0 
008    060120s2007    njua          001 0 eng   
010    2006041696 
020    0131877186 
020    9780131877184 
035    (OCoLC)ocm63187544 
035    (OCoLC)63187544|z(OCoLC)79409863 
040    DLC|cDLC|dYDX|dBAKER|dVP@|dBTCTA|dYDXCP|dDLC 
050 00 QA9.54|b.S86 2007 
100 1  Sundstrom, Theodore A. 
245 10 Mathematical reasoning|bwriting and proof /|cTed 
       Sundstrom. 
250    2nd ed. 
260    Upper Saddle River, N.J. :|bPearson Prentice Hall,|cc2007.
300    xviii, 514 p. :|bill. ;|c25 cm. 
500    Includes index. 
650  0 Proof theory. 
907    .b15597271|b10-06-15|c10-28-11 
945    QA9.54|b.S86 2007|g0|i37522005502901|j0|on|p0.00|q-|r-|s-
       |t0|u1|v0|w0|x0|y.i15118137|z04-22-12|llsf 
998    ccq|b10-28-11|cm|db|en|feng|gnju|h0