I liked Discrete Math Demystified because it gives direct elementary proofs illustrating proof
techniques and constructs number systems. If you want something harder you should try
Lay's Analysis book or the Schroder book.
I found a beautiful combination of (free) resources to learn linear algebra that has both
plenty of proofs and enough numerical examples to illustrate the points:
Dawkin's Linear Algebra
http://nptel.iitm.ac.in/video.php?courseId=1097
http://nptel.iitm.ac.in/courses/Webcourse-contents/IIT-KANPUR/mathematics-2/index.html
There is an almost perfect correlation between these three sources, where the videos are
unclear in a certain proof the Dawkin's notes clarify and vice versa, no joke. Same with
the examples. If you started at module 2 in the video courses and did from video 15 to 32
while also doing the corresponding sections in the Dawkins notes & nptel notes you would
have the contents of an elementary linear algebra course done. You could then go onto
Sharipov's &
mathwonk's notes & Axler or Hoffman/Kunze. (Note: you could read these
advanced books now obviously, what I gave you above assumes you need a few more
examples than those books give).
Also,
this functional analysis book might benefit someone since it looks utterly amazing
& apparently has modest prerequisites.