Adaptive IIR filtering in signal processing and control /

od Regalia, Phillip A., 1962-
Wydane 1995

Algorithms and recursive functions /

od Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Wydane 1970

The calculi of lambda-conversion /

od Church, Alonzo, 1903-
Wydane 1941

The calculi of Lambda-conversion /

od Alonzo Church
Wydane 1941

Computability /

od Weihrauch, K. (Klaus)
Wydane 1987

Computability : an introduction to recursive function theory /

od Cutland, Nigel
Wydane 1980

Computability and logic /

od Boolos, George
Wydane 1980

Computability and logic /

od Boolos, George
Wydane 1974

Computability theory: an introduction /

od Jones, Neil D.
Wydane 1973

Computability & unsolvability.

od Davis, Martin, 1928-
Wydane 1958

Computations in higher types.

od Moldestad, Johan, 1946-
Wydane 1977

Degrees of Unsolvability /

od Shoenfield, Joseph R. (Joseph Robert), 1927-
Wydane 1972

Formal systems and recursive functions : proceedings /

Wydane 1965

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

od Kleene, Stephen Cole, 1909-
Wydane 1965

Introduction to computability /

od Hennie, Frederick C. (Frederick Clair)
Wydane 1977

Introduction to the theory of computation.

od Engeler, Erwin
Wydane 1973

Minimal degree of unsolvability and the full approximation construction.

od Epstein, Richard L., 1947-
Wydane 1975

Recursive algorithms /

od Lorentz, Richard
Wydane 1994

Recursive function theory and logic.

od Yasuhara, Ann
Wydane 1971

Recursive functions /

od Peter, Rozsa, 1905-
Wydane 1967