For a while now I have been looking for a series of texts that I can read in order to learn some of the basics of abstract/pure mathematics. I am currently taking Calculus II with Stewart's book as my text, and this summer I plan on going through Spivak's Calculus. I have finished my universities Linear Algebra 1 but I do not feel satisfied with the understanding I left with ( the class was a bit "light" but also me neglecting the need for a true understanding didn't help ). I would like to work through Linear Algebra Done Right by Sheldon Axler also. I need help developing my skills at constructing proofs before I start Spivak's book. Before I do that though I would like to get some other books under my belt. Right now I am looking at: A Concise Introduction to Pure Mathematics - Martin Liebeck http://www.amazon.ca/Concise-Introduction-Pure-Mathematics/dp/1584881933 It is meets all my criteria for what I want except there is no solution manual to be found, this is a problem as I am going to be self-studying. I have only read a bit of it and it seems alright, besides the constant uncertainty when I solve a problem. Another book I have been looking at is Chapter Zero : Fundamental Notions of Abstract Mathematics - Carol Schumacher http://www.amazon.ca/Chapter-Zero-F...=sr_1_1?ie=UTF8&s=books&qid=1267672494&sr=1-1 It seems like a bit much for me to jump into though I think I could handle it if I gave it some time. A instructor at my university has a set of lecture notes that "sort of" accompany it, so that might help. I can not seem to find a solution manual to this also, another problem. A book on Proofs I have been looking at is : The Nuts and Bolts of Proofs - Antonella Cupillari http://www.amazon.ca/Nuts-Bolts-Pro...=sr_1_1?ie=UTF8&s=books&qid=1267672612&sr=1-1 This book seems pretty good but I would like to do/read a bit more set theory and logic before starting it. Although it does seem manageable. It has detailed solutions in the book itself, which is a large plus. This also seems to be along the lines of what I am looking for : How to Prove It: A Structured Approach http://www.amazon.ca/How-Prove-Stru...=sr_1_1?ie=UTF8&s=books&qid=1267672716&sr=1-1 I have yet to actually hold the book and look through it, I am also unsure if there are solutions out there for it. I would really appreciate suggestions on books that encompass my current interests anything that will help me get started with pure mathematics. Specifically develop my skills at writing proofs, and obviously some of the prerequisite fundamentals needed to write them. My current pre-occupation with desiring ( needing?) a solution manual for "security" may be holding me back, but any texts you could recommend would be greatly appreciated.
Not sure about the others, but "How to prove it" is a wonderful book. I don't know if there is a solution manual, but I think there are enough examples in the book to get the point through.
Velleman's book is good, but I often found it slow when I was trying to learn how to do proofs. Therefore I recommend complementing it with a nippier book like this one: http://www.amazon.com/Abstract-Math...erials/dp/0883857081/ref=ntt_at_ep_dpt_6#noop