I'm looking for textbooks that explain the New-Keynesian models, without taking shortcuts on the mathematics, that would go in depth on the derivations of the formulas. I appreciate rigour, and clarity above all else. If intuition is supplied, it would be perfect.
I find Jordi Galí's book on monetary policy is not good at presenting the model, specially by not explaining the mathematical assumptions (which are not simple details...)
Edi: Check the link found here