Higher recursion theory/

Main Author:	Sacks, Gerald E.
Format:	Book
Language:	English
Published:	Berlin: Springer-Verlag, c1990
Series:	Perspectives in mathematical logic
Subjects:	Recursion theory

Similar Items

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

General recursion theory: an axiomatic approach/
by: Fenstad, Jens Erik
Published: (1980)

Thinking recursively /
by: Roberts, Eric
Published: (1986)

Thinking recursively with Java /
by: Roberts, Eric
Published: (2006)

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

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

Théorie de la récursivité pour la métamathémathique /
by: Smullyan, Raymond M.
Published: (1993)

Recursive algorithms /
by: Lorentz, Richard.
Published: (1994)

Algorithmics : theory and practice /
by: Brassard, Gilles, 1955-
Published: (1988)

Recursion theory/
by: Shoenfield, Joseph R.
Published: (1993)

Recursion theory/
by: Shoenfield, Joseph R.
Published: (1993)

Recursiveness/
by: Eilenberg, Samuel
Published: (1970)

Recursiveness/
by: Eilenberg, Samuel
Published: (1970)

Recursiveness /
by: Eilenberg, Samuel
Published: (1970)

Computational prospects of infinity
Published: (2008)

Recursion-theoretic hierarchies/
by: Hinman, Peter G.
Published: (1978)

Classical recursion theory/
by: Odifreddi, Piergiorgio
Published: (1989)

Recursive model theory /
Published: (1998)

Recursion theory/
Published: (1985)

Recursion sequences/
by: Markushevich, Aleksei Ivanovich, 1908-1979
Published: (1975)

Recursive analysis
by: Goodstein, Reuben Louis
Published: (1961)

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

Handbook of recursive mathematics/
Published: (1998)

Recursion theory for metemathematics/
by: Smullyan, Raymond M.
Published: (1993)

Handbook of recursive mathematics /
Published: (1998)

Recursive, algebra, analysis and combinatorics /
Published: (1998)

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 /
Published: (1990)

Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984/
Published: (1985)

Recursion theory and complexity : proceedings of the Kazan ʹ97 workshop Kazan, Russia, July 14-19, 1997 /
Published: (1999)

Computable analysis/
by: Aberth, Oliver
Published: (1980)

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

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

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

Computability and logic/
by: Boolos, George
Published: (1974)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus /
by: Goodstein, R. L.
Published: (1957)

Recursion on the countable functionals/
by: Normann, Dag, 1947-
Published: (1980)

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

Recursive equivalence types/
by: Dekker, J. C. E.
Published: (1960)

Recursive macroeconomic theory /
by: Ljungqvist, Lars
Published: (2000)

Recursive macroeconomic theory/
by: Ljungqvist, Lars
Published: (2004)

Cannot write session to /tmp/vufind_sessions/sess_ohncc2ckald5pfpchqspg5ho33