I disagree regarding Euclidean geometry. Euclid never does any proofs by induction, which is enough on its own to disqualify Euclid as a good introduction to pr

I disagree regarding Euclidean geometry. Euclid never does any proofs by induction, which is enough on its own to disqualify Euclid as a good introduction to proof. What you want is a book that combines an introduction to logic with a bunch of different proofs from different areas of math, such as set axioms, relations, functions, sequences, construction of real numbers, etc. There are many books like this, here is one that includes all of that plus a little number theory and algebra towards the end: http://libgen.rs/book/index.php?md5=7E4D97D2F58B91D052595E6865F0A065 http://libgen.rs/book/index.php?md5=7E4D97D2F58B91D052595E68...