Textbook for macroeconomics (advanced undergrad)
Advanced Macroeconomics by David Romer, now in its fourth edition. Link contains TOC and a sample chapter.

The presentation consists of formal theory models, but with lots of intuition too, followed by light empirical applications.