27 treff

recursion theory
Recursion theory
Joseph R. Shoenfield
Bok Engelsk 1993 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recursion theory

Bok Engelsk 1985 · Vis mer
Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997
editors Marat M. Arslanov, Steffen Lempp
Bok Engelsk 1999 · Vis mer
Recursion theory for metamathematics
Raymond M. Smullyan
Bok Engelsk 1993 · Vis mer
Classical recursion theory. 1. The theory of functions and sets of natural numbers
Odifreddi, Piergiorgio
Bok Engelsk 1989 · Vis mer
Subrecursion : functions and hierarchies
H. E. Rose
Bok Engelsk 1984 · Vis mer
Computability theory : an introduction to recursion theory /
Herbert B. Enderton.
Bok Engelsk 2011 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theory of computation
Kozen, Dexter
Bok Engelsk 2006 · Vis mer
The recursion method : application to many-body dynamics
V.S. Viswanath, Gerhard Müller
Bok Engelsk 1994 · Vis mer
Algorithm design : a recursion transformation framework
Marvin C. Paull
Bok Engelsk 1988 · Vis mer
Algorithmics : theory and practice
Gilles Brassard and Paul Bratley
Bok Engelsk 1988 · Vis mer
Transtheoretic foundations of mathematics (general summary of results). Series I. Natural numbers
Pogorzelski, H.A.
Bok Engelsk 1997 · Vis mer
The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984
editors: D. G. Pettifor and D. L. Weaire
Bok Engelsk 1985 · Vis mer
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
International FCT-Conference
Bok Engelsk 1977 · Vis mer
The role of true finiteness in the admissible recursively enumerable degrees
Noam Greenberg
Bok Engelsk 2006 · Vis mer
The theory of functions and sets of natural numbers
Odifreddi, Piergiorgio
Bok Engelsk 1989 · Vis mer
Thinking recursively with Java
Eric Roberts
Bok Engelsk 2006 · Vis mer
Fundamentals of mathematical logic
Peter G. Hinman
Bok Engelsk 2005 · Vis mer
Computable analysis : an introduction
Klaus Weihrauch
Bok Engelsk 2000 · Vis mer
Handbook of recursive mathematics. Vol. 1. Recursive model theory

Bok Engelsk 1998 · Vis mer
Handbook of recursive mathematics. Vol. 2. Recursive algebra, analysis and combinatorics

Bok Engelsk 1998 · Vis mer
Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. ...
Bok Engelsk 1996 · Vis mer
Aspects of Incompleteness

Bok Engelsk · Vis mer
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81
Cabal Seminar
Bok Språk ikke angitt 1983 · Vis mer
Thinking recursively
Eric Roberts
Bok Engelsk 1986 · Vis mer
Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Skordev, Dimitŭr G.
Bok Engelsk 1992 · Vis mer