Wolf, Robert S Proof, logic, and conjecture the mathematician`s toolbox - New York W.H. Freeman 1998 ISBN: 0716730502 Subjects--Topical Terms: LOGIC, SYMBOLIC AND MATHEMATICALMATHEMATICS--HANDBOOKS, MANUALS, ETCSET THEORY LC Class. No.: QA 9 Wol