1-24 of 227 Books

Computability and logic
By George Boolos,Richard C. Jeffrey,George S. Boolos,John P. Burgess

Recursive macroeconomic theory
By Lars Ljungqvist

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
By Hans Hermes
Enumerability, Decidability, Computability
Enumerability, Decidability, Computability
By Hans Hermes,Gabor T. Herman,O. Plassmann
Recursive Identification and Parameter Estimation
Recursive Identification and Parameter Estimation
By Han-Fu Chen,Wenxiao Zhao

Theory of recursive functions and effective computability
By Hartley Rogers

The calculi of lambda-conversion
By Alonzo Church
Quotient-difference type generalizations of the power method and their analysis
Quotient-difference type generalizations of the power method and their analysis
By Avram Sidi

Elementary induction on abstract structures
By Yiannis N. Moschovakis

Rigid Body Dynamics Algorithms
By Roy Featherstone
A decision method for elementary algebra and geometry
A decision method for elementary algebra and geometry
By Tarski, Alfred.

Theory of recursive functions and effective computability
By H. Rogers
Degrees of unsolvability
Degrees of unsolvability
By Gerald E. Sacks
Computability, 1973-1974
Computability, 1973-1974
By Davis, Martin