Loading…

QR Code

Recursion theory / Joseph R. Shoenfield.

Saved in:

Bibliographic Details
Main Author:	Shoenfield, Joseph R. (Joseph Robert), 1927-
Format:	Book
Language:	English
Published:	La Jolla, CA ; Wellesley, MA : A.K. Peters, [2001], c1993.
Series:	Lecture notes in logic ; 1.
Subjects:	Recursion theory.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Techniques of admissible recursion theory C.T. Chong.
by: Chong, C.-T (Chi-Tat), 1949-
Published: (1984)

Computability theory : an introduction to recursion theory / Herbert B. Enderton.
by: Enderton, Herbert B.
Published: (2011)

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

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

Recursion theory week proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Muller, G.E. Sacks (eds.).
Published: (1990)

Recursion theory week proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks.
Published: (1985)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
Published: (1980)

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

Mathematical logic / by J.R. Shoenfield.
by: Shoenfield, J. R.
Published: (1967)

Recursive macroeconomic theory / Lars Ljungqvist, Thomas J. Sargent.
by: Ljungqvist, Lars
Published: (2004)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Algorithmics : theory and practice / Gilles Brassard and Paul Bratley.
by: Brassard, Gilles, 1955-
Published: (1987)

Computability theory / Rebecca Weber.
by: Weber, Rebecca, 1977-
Published: (2012)

Nonsmooth adaptive control for uncertain nonlinear systems: a non-recursive design approach
by: Chuanlin Zhang, et al.
Published: (2021)

Solutions manual for Recursive methods in economic dynamics / Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L.J. Wright.
by: Irigoyen, Claudio
Published: (2002)

Model predictive control with preview: recursive feasibility and stability
by: Xing Fang, et al.
Published: (2022)

Cabal Seminar 81-85 proceedings, Caltech-UCLA Logic Seminar, 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.).
Published: (1988)

Recursive segmentation for as-is bridge information modelling
by: Ruodan Lu, et al.
Published: (2017)

Cabal Seminar 79-81 proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis.
Published: (1983)

Theory of computation / Dexter C. Kozen.
by: Kozen, Dexter, 1951-
Published: (2006)

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

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

Set theory and hierarchy theory V Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach.
Published: (1977)

Computable economics Kumaraswamy Valupillai.
by: Velupillai, Kumaraswamy, 1947-
Published: (2000)

Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach.
Published: (1976)

The recursive decoupling method for solving tridiagonal linear systems
by: Giulia Spaletta
Published: (1991)

Theory and practice of recursive identification / Lennart Ljung, Torsten Söderström.
by: Ljung, Lennart
Published: (1983)

Recursive estimation of average vehicle time headway using single inductive loop detector data
by: Baibing Li
Published: (2012)

Machine learning methods for commonsense reasoning processes interactive models / Xenia Naidenova.
by: Naidenova, Xenia, 1940-
Published: (2010)

On the recursive estimation of vehicular speed using data from a single inductance loop detector: a Bayesian approach
by: Baibing Li
Published: (2009)

Recursive functions in computer theory / by R. Peter.
by: Peter, R.
Published: (1981)

An introduction to the theory of groups / Joseph J. Rotman.
by: Rotman, Joseph J. (Joseph Jonah), 1934-
Published: (1984)

String theory. Joseph Polchinski.
by: Polchinski, Joseph Gerard
Published: (2005)

String theory. Joseph Polchinski.
by: Polchinski, Joseph Gerard
Published: (2005)

Quantum theory of the solid state / (by) Joseph Callaway.
by: Callaway, Joseph
Published: (1976)

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

Recursive simulation of quantum annealing
by: A.P. Sowa, et al.
Published: (2015)

Elements of the theory of numbers / Joseph B. Dence, Thomas P. Dence.
by: Dence, Joseph B.
Published: (1999)

A Lyapunov-based approach for recursive continuous higher order nonsingular terminal sliding-mode control
by: Jun Yang, et al.
Published: (2020)

Locally minimum-variance filtering of 2-D systems over sensor networks with measurement degradations: A distributed recursive algorithm
by: Fan Wang, et al.
Published: (2020)