Topic
Recursive functions
224 books
Computability and logic
George Boolos, Richard Jeffrey.
Enumerability, decidability, computability.: An introduction to the theory of recursive functions.
Translated by G. T. Hermann and O. Plassmann.
Recursive Macroeconomic Theory
Lars Ljungqvist, Thomas J. Sargent
Computability & unsolvability
Martin Davis.
Provability, Computability and Reflection
Lev D. Beklemishev
Enumerability . Decidability Computability
O. Plassmann, Gabor T. Herman, Hans Hermes, Gabor T Herman
Logic programming: proceedings of the fourth international conference
edited by Jean-Louis Lassez.
Recursivity and Contingency
Yuk Hui
Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)
Raymond M. Smullyan
The calculi of lambda-conversion
by Alonzo Church.
Showing 10 of 224 books