TY - BOOK AU - Wohlgemuth,Andrew TI - Introduction to proof in abstract mathematics SN - 003026782X (pbk.) PY - 1990/// CY - Philadelphia PB - Saunders College KW - Proof theory N1 - Includes index ER -