Reflexive structures [electronic resource] : an introduction to computability theory / Luis E. Sanchis.

Bibliographic Details
Main Author:	Sanchis, Luis E.
Language:	English
Published:	New York : Springer-Verlag, c1988.
Subjects:	Computable functions. Recursive functions.
Online Access:	Springer Book Archive - Mathematics: 1988 (Springer Link)
Format:	Electronic eBook

Similar Items

Recursive functionals
by: Sanchis, Luis E.
Published: (1992)

Recursive functionals
by: Sanchis, Luis E.
Published: (1992)

Computability
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

Subrecursion : functions and hierarchies
by: Rose, H. E. (Horace Edgar)
Published: (1984)

Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)

Enumerability, decidability, computability; an introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1965)

Computability
by: Davis, Martin, 1928-
Published: (1974)

Computability theory
by: Weber, Rebecca, 1977-
Published: (2012)

Computability theory
by: Weber, Rebecca, 1977-
Published: (2012)

Enumerability, decidability, computability. : An introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1969)

Proof and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

Topics in metarecursion theory.
by: Owings, James Claggett, 1940-
Published: (1966)

Generalized recursion theory. : Proceedings of the 1972 Oslo symposium
Published: (1974)

Computability & unsolvability
by: Davis, Martin, 1928-
Published: (1982)

Computability & unsolvability.
by: Davis, Martin, 1928-
Published: (1958)

The Medvedev lattice of degrees of difficulty.
by: Poulsen, Birgit Truust
Published: (1970)

Degrees of unsolvability
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1971)

Recursive functions
by: Péter, Rózsa, 1905-1977
Published: (1967)

Récursivité
by: Azra, Jean-Pierre
Published: (1973)

Fonctions récursives.
by: Grzegorczyk, Andrzej
Published: (1961)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1971)

An introduction to computable analysis
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Elementary induction on abstract structures
by: Moschovakis, Yiannis N.
Published: (1974)

Elementary induction on abstract structures
by: Moschovakis, Yiannis N.
Published: (1974)

Theory of formal systems.
by: Smullyan, Raymond M.
Published: (1961)

Computability and logic
by: Boolos, George
Published: (2007)

Computability and logic
by: Boolos, George
Published: (2002)

Computability and logic
by: Boolos, George
Published: (1989)

Computability and logic.
by: Boolos, George
Published: (2007)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Recursive functions in computer theory
by: Péter, Rózsa, 1905-1977
Published: (1981)

Real-time flutter identification
by: Roy, Richard
Published: (1985)

Super-recursive algorithms
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)

Algorithms and recursive functions
by: Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1970)

Introduction to computability
by: Hennie, Frederick C.
Published: (1977)

Recursive functions and finite automata
by: Keeney, Martin Glen
Published: (1960)

Recursive functions and finite automata
by: Keeney, Martin Glen
Published: (1960)