>>846
>>849
And by "introduction" I mean introduction to proof-based math. Zorich is another book that does calculus and analysis simultaneously.