00343nam a22001577a 4500 437 ENG 150 Erue P. Betting The Nature of Proof The Bobbs The Bobbs 1972 150 295 295