Recursive model theory /

Other Authors:	Ershov, Yu. L.
Format:	Book
Published:	Amsterdam: Elsevier Science B.V, c1998
Series:	Studies in logic and the foundations of mathematics ; vol. 138
Subjects:	Recursion theory

Similar Items

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)

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

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

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

Higher recursion theory/
by: Sacks, Gerald E.
Published: (1990)

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

Recursion theory/
Published: (1985)

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

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

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

Handbook of recursive mathematics /
Published: (1998)

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

Handbook of recursive mathematics/
Published: (1998)

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

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

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

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)

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

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 macroeconomic theory /
by: Ljungqvist, Lars
Published: (2000)

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

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

Theory of recursive functions and effective computability/
by: Rogers, Hartley
Published: (1967)

Recursive function theory and logic/
by: Yasuhara, Ann
Published: (1971)

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

Recursive Techniques in Programming/
by: Barron, D. W., 1935-
Published: (1968)

Recursively enumerable sets and degrees/
by: Soare, Robert I.
Published: (1987)

Recursive techniques in programming/
by: Barron, D. W.
Published: (1975)

Automorphisms of the lattice of recursively enumerable sets/
by: Cholak, Peter, 1962-
Published: (1995)

Formalized recursive functionals and formalized realizability/
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)

Stochastic approximation and recursive algorithms and applications/
by: Kushner, Harold J., 1933-Harold Joseph
Published: (2003)

The recursion method and its applications : proceedings of the conference, Imperial College, London, England September 13-14, 1984 /
Published: (1985)

Cannot write session to /tmp/vufind_sessions/sess_53fpb7e7lq3enme26a14eh8du1