Adaptive IIR filtering in signal processing and control /

by Regalia, Phillip A., 1962-
Published 1995

Algorithms and recursive functions /

by Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Published 1970

The calculi of lambda-conversion /

by Church, Alonzo, 1903-
Published 1941

The calculi of Lambda-conversion /

by Alonzo Church
Published 1941

Computability /

by Weihrauch, K. (Klaus)
Published 1987

Computability : an introduction to recursive function theory /

by Cutland, Nigel
Published 1980

Computability and logic /

by Boolos, George
Published 1980

Computability and logic /

by Boolos, George
Published 1974

Computability theory: an introduction /

by Jones, Neil D.
Published 1973

Computability & unsolvability.

by Davis, Martin, 1928-
Published 1958

Computations in higher types.

by Moldestad, Johan, 1946-
Published 1977

Degrees of Unsolvability /

by Shoenfield, Joseph R. (Joseph Robert), 1927-
Published 1972

Formal systems and recursive functions : proceedings /

Published 1965

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

by Kleene, Stephen Cole, 1909-
Published 1965

Introduction to computability /

by Hennie, Frederick C. (Frederick Clair)
Published 1977

Introduction to the theory of computation.

by Engeler, Erwin
Published 1973

Minimal degree of unsolvability and the full approximation construction.

by Epstein, Richard L., 1947-
Published 1975

Recursive algorithms /

by Lorentz, Richard
Published 1994

Recursive function theory and logic.

by Yasuhara, Ann
Published 1971

Recursive functions /

by Peter, Rozsa, 1905-
Published 1967