It is not easy to answer without knowing exactly your needs, in particular with regard to mathematical formalizations and methods.
But, in addition to the books suggested by the other answers, I can suggest some other books useful for macroeconomics theory and mathematical and theorical methods.
A comprehensive book about dynamic models in macroeconomics is
Turnovsky, Stephen J., Methods of Macroeconomic Dynamics, Mit Press, 2000, $2^°$ ed.
It includes both deterministic and stochastic methods, focuses on growth, and has also a chapter on open economies.
In addition, there are two classical and important books, even if not recent, also focused on mathematical aspects and methods, at an advanced level:
Blanchard, Oliver J., Fisher, Stanley, Lectures on Macroeconomics, MIT Press, 1989.
Sargent,Thomas J. , Macroeconomic Theory, Academic Press, 1987.
Fisher and Blanchard is a well-known postgraduate macroeconomics book.
Sargent, even if a bit outdated, is an excellent exposition of some important aspects of mathematical macroeconomics.
As you know, Sargent is a Nobel prize, and one of the most of important authors of the rational expectations hypothesis. His treatment of stochastic macroeconomics (at the base also of the rational expectations literature), as least square projections, linear stochastic difference equations, in this book is rigorous and profound (I find that Sargent’s ability to expose is admirable).
In addition, there are some aspects of mathematical macroeconomics that are not easy to find elsewhere, for example the use of implicit function theorem for system of equations, in order to calculate the multipliers.
$\;$
As for international economics, a well-known book is
Gandolfo, G., International Trade Theory and Policy, Springer Verlag, 2014.
It is mainly analytical (even if it has some parts on empirical verification of the theories), with mathematical Appendixes at an advanced level. And it focuses also on growth and international trade.