[kinai]

I don't find calculus and lin alg very interesting, school ruined those for me forever I guess. I am mostly interested Logic and Information Theory but I guess the latter doesn't go with a good calculus base.

Thanks for the links, I will read the book of proof and try the exercises, though mostly studied those topics already.

[mietek]

You may be interested in Paul Taylor’s “Practical foundations of mathematics”.