TY - BOOK AU - Iglewicz Boris TI - An Introduction To Mathematical Reasoning AV - QA 9.134 CY - New York KW - Logic, Symbolic And Mathematical ER -