The words contained in this file might help you see if this file matches what you are looking for:
...Introduction to mathematical thinking keith devlin publisher poe st unit palo alto ca usa http profkeithdevlin com all rights reserved no part of the material protected by this copyright notice may be reproduced or utilized in any form electronic mechanical including photocopying recording information storage and retrieval system without written permission owner publication data first published july isbn contents preface what book is about mathematics more than arithmetic notation modern college level why do you have learn stuff getting precise language statements logical combinators not implication quantifiers proofs a proof contradiction proving conditionals quantified induction results numbers integers real completeness sequences appendix set theory index...