I'm currently working through Practical Foundations of Mathematics: http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html http://www.cs.man.ac.uk/~pt/Pra

I'm currently working through Practical Foundations of Mathematics: http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html The full text is available online, but I recommend you buy a hard copy. Oh and I can vouch that the back cover blurb is totally true.