Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Thinking recursively /
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Thinking recursively / Eric Roberts.
Saved in:
Bibliographic Details
Main Author:
Roberts, Eric
Format:
Book
Language:
English
Published:
New York :
J. Wiley,
c1986.
Subjects:
Recursion theory.
Holdings
Description
Similar Items
Staff View
Similar Items
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (2020)
Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)
Recursion theory
Published: (1985)
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)
Techniques of admissible recursion theory
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)
Fundamentals of generalized recursion theory
by: Fitting, Melvin Chris
Published: (1981)
Classical recursion theory : the theory of functions and sets of natural numbers
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)
Recursive functions in computer theory
by: Péter, Rózsa, 1905-
Published: (1981)
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)
Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)
Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)
Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)
Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)
Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)
Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)
Algorithmics : theory and practice
by: Brassard, Gilles, 1955-
Published: (1988)
Aspects of incompleteness
by: Lindström, Per, 1936-
Published: (1997)
Regressive sets and the theory of isols
by: McLaughlin, Thomas G.
Published: (1982)
Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)
Recursion on the countable functionals
by: Normann, Dag, 1947-
Published: (1980)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Published: (1978)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Published: (1980)
Induction, recursion, and programming
by: Wand, Mitchell
Published: (1980)
The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)
Computability and logic
by: Boolos, George
Published: (1989)
How to think about algorithms
by: Edmonds, Jeff, 1963-
Published: (2008)
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
by: Downey, R. G. (Rod G.), et al.
Published: (2020)
Recursion via Pascal
by: Rohl, J. S. (Jeffrey Soden), 1938-
Published: (1984)
Computability with PASCAL
by: Mallozzi, John S.
Published: (1984)
Recursive methods in economic dynamics
by: Stokey, Nancy L.
Published: (1989)
Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)
Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)
Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)
Recursion : a computational investigation into the representation and processing of language
by: Lobina, David J.
Published: (2017)
Recursive identification and parameter estimation
by: Chen, Hanfu, et al.
Published: (2014)
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
by: Lombardi, Henri
Published: (1920)
Potential wadge classes
by: Lecomte, Dominique, 1964-
Published: (2012)
Prev
Next
Similar Items
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (2020)
Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)
Recursion theory
Published: (1985)
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)
Techniques of admissible recursion theory
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)