请问各位大神
高级宏观里索洛模型比较偏推导证明的有哪些呀 罗默和巴罗的看过了 求推荐别的教材

还想请问 高级微观或者中级偏高级微观教材中含有有不是很偏的那种证明题的有哪些书呀 类似于证明用数学证明外部性的这种证明题型

求推荐 谢谢