Adaptive IIR filtering in signal processing and control /

av Regalia, Phillip A., 1962-
Publicerad 1995

Algorithms and recursive functions /

av Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Publicerad 1970

The calculi of lambda-conversion /

av Church, Alonzo, 1903-
Publicerad 1941

The calculi of Lambda-conversion /

av Alonzo Church
Publicerad 1941

Computability /

av Weihrauch, K. (Klaus)
Publicerad 1987

Computability : an introduction to recursive function theory /

av Cutland, Nigel
Publicerad 1980

Computability and logic /

av Boolos, George
Publicerad 1980

Computability and logic /

av Boolos, George
Publicerad 1974

Computability theory: an introduction /

av Jones, Neil D.
Publicerad 1973

Computability & unsolvability.

av Davis, Martin, 1928-
Publicerad 1958

Computations in higher types.

av Moldestad, Johan, 1946-
Publicerad 1977

Degrees of Unsolvability /

av Shoenfield, Joseph R. (Joseph Robert), 1927-
Publicerad 1972

Formal systems and recursive functions : proceedings /

Publicerad 1965

The foundations of intuitionistic mathematics : especially in relation to recursive functions /

av Kleene, Stephen Cole, 1909-
Publicerad 1965

Introduction to computability /

av Hennie, Frederick C. (Frederick Clair)
Publicerad 1977

Introduction to the theory of computation.

av Engeler, Erwin
Publicerad 1973

Minimal degree of unsolvability and the full approximation construction.

av Epstein, Richard L., 1947-
Publicerad 1975

Recursive algorithms /

av Lorentz, Richard
Publicerad 1994

Recursive function theory and logic.

av Yasuhara, Ann
Publicerad 1971

Recursive functions /

av Peter, Rozsa, 1905-
Publicerad 1967