Adaptive IIR filtering in signal processing and control /

nork Regalia, Phillip A., 1962-
Argitaratua 1995

Algorithms and recursive functions /

nork Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Argitaratua 1970

The calculi of lambda-conversion /

nork Church, Alonzo, 1903-
Argitaratua 1941

The calculi of Lambda-conversion /

nork Alonzo Church
Argitaratua 1941

Computability /

nork Weihrauch, K. (Klaus)
Argitaratua 1987

Computability : an introduction to recursive function theory /

nork Cutland, Nigel
Argitaratua 1980

Computability and logic /

nork Boolos, George
Argitaratua 1980

Computability and logic /

nork Boolos, George
Argitaratua 1974

Computability theory: an introduction /

nork Jones, Neil D.
Argitaratua 1973

Computability & unsolvability.

nork Davis, Martin, 1928-
Argitaratua 1958

Computations in higher types.

nork Moldestad, Johan, 1946-
Argitaratua 1977

Degrees of Unsolvability /

nork Shoenfield, Joseph R. (Joseph Robert), 1927-
Argitaratua 1972

Formal systems and recursive functions : proceedings /

Argitaratua 1965

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

nork Kleene, Stephen Cole, 1909-
Argitaratua 1965

Introduction to computability /

nork Hennie, Frederick C. (Frederick Clair)
Argitaratua 1977

Introduction to the theory of computation.

nork Engeler, Erwin
Argitaratua 1973

Minimal degree of unsolvability and the full approximation construction.

nork Epstein, Richard L., 1947-
Argitaratua 1975

Recursive algorithms /

nork Lorentz, Richard
Argitaratua 1994

Recursive function theory and logic.

nork Yasuhara, Ann
Argitaratua 1971

Recursive functions /

nork Peter, Rozsa, 1905-
Argitaratua 1967