TY - BOOK AU - AU - Erue P. Betting TI - The Nature of Proof PY - 1972/// CY - The Bobbs PB - The Bobbs ER -