Wolf, Robert S., Proof, logic, and conjecture : the mathematician's toolbox / Robert S. Wolf - xiv, 421 páginas : ilustraciones ISBN: 0716730502 (papel alcálino) Subjects--Topical Terms: Lógica simbólica y matemáticaTeoría de conjuntosTeoría de los números LC Class. No.: QA9 / W65