Computability and logic/

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge ; New York: Cambridge University Press, 1974
Subjects:	Computable functions Recursive functions

Similar Items

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

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

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

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

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

Computability and logic /
by: Boolos, George S.
Published: (1980)

Εισαγωγή στην υπολογιστική /
by: Τουρλάκης, Γιώργος Ι.
Published: (1994)

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

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

Computability/
by: Weihrauch, Klaus
Published: (1987)

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

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

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

Computations in higher types/
by: Moldestad, Johan, 1946-
Published: (1977)

Theory of computation
by: Tourlakis, George J.
Published: (2012)

Computable functions/
by: Vereshchagin, Nikolai Konstantinovich, 1958-
Published: (2003)

Computability theory/
by: Cooper, S. BS. Barry
Published: (2004)

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

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W.

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

Aufza?hlbarkeit, entscheidbarkeit, berechenbarkeit : einfu?hrung in die theorie der rekursiven funktionen /
by: Hermes, Hans
Published: (1971)

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

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

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

Project Rand : a decision method for elementary algebra and geometry /
by: Tarski, Alfred
Published: (1957)

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

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

Rekursive Funktionen/
by: Ro?zsa, Pe?ter
Published: (1957)

Rekursive Verfahren : ein problemorientierter Eingangkurs /
by: Stowasser, Roland
Published: (1978)

Rekursive Folgen/
by: Markushevich, Aleksei Ivanovich, 1908-
Published: (1977)

Lec?ons sur les fonctions calculables/
by: Ouspenski, V. A.
Published: (1966)

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

Computations in higher types/
by: Moldestad, Johan
Published: (1976)

The theory of computability: programs, machines, effectiveness, and feasibility/
by: Sommerhalder, R.
Published: (1988)

Models of computation and formal languages /
by: Taylor, Ralph Gregory
Published: (1998)

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

Konstruktive analysis/
by: Klaua, Dieter
Published: (1961)

Theory of computation/
by: Brainerd, Walter S
Published: (1974)

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

Computability with Pascal/
by: Mallozi, John S.
Published: (1984)

Cannot write session to /tmp/vufind_sessions/sess_mv5r4mffflmecjnmfgheik7k33