00389    a2200145   4500020001800000082001500018100002000033245006900053260003300122300001700155650001500172650001600187650002300203650001700226  a9780817641115  a511.3bBLO  aBloch, Ethan D.  aProofs and fundamentalsba first course in abstract  mathematics  a2000bBirkhauserc2000g2000  a425p.c24cm.  aSET THEORY  aMATHEMATICS  aMATHEMATICAL LOGIC  aPROOF THEORY