Cargando…

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Symposium on Generalized Recursion Theory University of Oslo
Otros Autores:	Fenstad, Jens Erik, Gandy, R. O. (Robin O.), Sacks, Gerald E.
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam : North-Holland Pub. Co., 1978.
Colección:	Studies in logic and the foundations of mathematics ; v. 94.
Temas:	Recursion theory > Congresses. Th�eorie de la r�ecursivit�e > Congr�es. MATHEMATICS > Infinity. MATHEMATICS > Logic. Recursion theory R�ecursivit�e, Th�eorie de la > Congr�es. Mathematics > Recursive functions Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es.
Acceso en línea:	Texto completo

Ejemplares similares

Classical recursion theory : the theory of functions and sets of natural numbers /
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Publicado: (1974)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin, 1942-
Publicado: (1981)

Handbook of recursive mathematics /
Publicado: (1998)

Handbook of recursive mathematics /
Publicado: (1998)

Classical recursion theory : the theory of functions and sets of natural numbers /
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1992)

Recursive analysis /
Publicado: (1961)

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

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Publicado: (1980)

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
por: Goodstein, R. L. (Reuben Louis)
Publicado: (1957)

Formal systems and recursive functions /
Publicado: (1965)

Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Publicado: (1984)

Dynamic modelling and control of national economies, 1989 : selected papers from the 6th IFAC symposium, Edinburgh, UK, 27-29 June 1989 /
Publicado: (1990)

Singular perturbations and asymptotics : proceedings of an advanced seminar /
Publicado: (1980)

Almost everywhere convergence II : proceedings of the International Conference on Almost Everywhere Convergence in Probability and Ergodic Theory, Evanston, Illinois, October 16-20, 1989 /
Publicado: (1991)

Performance of distributed systems and integrated communication networks : proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991 /
Publicado: (1992)

The theory and applications of reliability with emphasis on Bayesian and nonparametric methods /
Publicado: (1977)

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Publicado: (1970)

Waves on fluid interfaces : proceedings of a symposium /
Publicado: (1983)

Set-theoretic topology : [papers] /
Publicado: (1977)

Control theory of systems governed by partial differential equations /
Publicado: (1977)

Dynamical systems and microphysics : geometry and mechanics : the proceedings of the 2nd International Seminar on Mathematical Theory of Dynamical Systems and Microphysics held at the International Center for Mechanical Sciences at Udine, Italy, from September 1 to 11, 1981 /
Publicado: (1982)

Word problems II : the Oxford book /
Publicado: (1980)

Plasma transport, heating, and MHD theory : proceedings of the workshop, Varenna, Italy, 12-16 September 1977 /
Publicado: (1978)

Pad�e and rational approximation : theory and applications : proceedings of an international symposium held at the University of South Florida, Tampa, Florida, December 15-17, 1976 /
Publicado: (1977)

Fourth Czechoslovakian Symposium on Combinatorics, Graphs, and Complexity /
Publicado: (1992)

Nonlinear phenomena in complex systems : proceedings of the Workshop on Nonlinear Phenomena in Complex Systems, Mar del Plata, Argentina, November 1-14, 1988 /
Publicado: (1989)

Fracture 1977, advances in research on the strength and fracture of materials /
Publicado: (1978)

Differential equations and applications in ecology, epidemics, and population problems : proceedings of a Conference on Differential Equations and Applications in Ecology, Epidemnics [sic], and Population Problems, held in Claremont, California, January 10-11, 1981 /
Publicado: (1981)

Soils on a warmer earth : effects of expected climate change on soil processes, with emphasis on the tropics and sub-tropics /
Publicado: (1990)

Fixed points : algorithms and applications /
Publicado: (1977)

Advanced reactors : physics, design, and economics : proceedings of the international conference held at Atlanta, Georgia, September 8-11, 1974 /
Publicado: (1975)

Mathematical foundations of quantum theory /
Publicado: (1978)

Spectral theory and asymptotics of differential equations : proceedings of the Scheveningen Conference on Differential Equations, the Netherlands, September 3-7, 1973 /
Publicado: (1974)

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Publicado: (1971)

Analytical and numerical approaches to asymptotic problems in analysis : proceedings of the Conference on Analytical and Numerical approaches to Asymptotic Problems, University of Nijmegen, the Netherlands, June 9-13, 1980 /
Publicado: (1981)

Innovation for energy efficiency : proceedings of the European conference, Newcastle upon Tyne, UK, 15-17 September 1987 /
Publicado: (1988)

Recent developments in network theory : proceedings of the symposium held at the College of Aeronautics, Cranfield, September 1961 /
Publicado: (1963)

Integrable systems in quantum field theory and statistical mechanics /
Publicado: (1989)