1-3 of 3 Books
Recursive macroeconomic theory
By Lars Ljungqvist
Computations in higher types
By Johan Moldestad
Computability theory: an introduction
By Neil D. Jones