00245nam a22001217a 4500015000800000041000800008100000900016100002000025245002400045260003300069300000800102999001300110 a437 aENG c150  aErue P. Betting aThe Nature of Proof aThe Bobbs bThe Bobbs c1972 a150 c295d295