Cargando…

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Symposium on Generalized Recursion Theory University of Oslo
Otros Autores:	Fenstad, Jens Erik, Hinman, Peter G.
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Colección:	Studies in logic and the foundations of mathematics ; v. 79.
Temas:	Recursion theory > Congresses. Recursive functions. Fonctions r�ecursives. Th�eorie de la r�ecursivit�e > Congr�es. MATHEMATICS > Infinity. MATHEMATICS > Logic. Recursive functions Recursion theory Kongress Rekursionstheorie R�ecursivit�e, Th�eorie de la > Congr�es. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es. Oslo (1972- )
Acceso en línea:	Texto completo Texto completo

Ejemplares similares

Recursive analysis /
Publicado: (1961)

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Publicado: (1978)

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

Handbook of recursive mathematics /
Publicado: (1998)

Handbook of recursive mathematics /
Publicado: (1998)

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

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

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

Recursive functionals /
por: Sanchis, Luis E.
Publicado: (1992)

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)

Degrees of unsolvability /
por: Shoenfield, Joseph Robert
Publicado: (1971)

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

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

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

Computability theory: an introduction
por: Jones, Neil D.
Publicado: (1973)

Stochastic processes : estimation, optimization, & analysis /
Publicado: (2004)

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

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)

Operator inequalities /
por: Schr�oder, Johann, 1925-
Publicado: (1980)

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

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)

Curves and surfaces /
Publicado: (1991)

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

Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling /
por: Goldman, Ron, 1947-
Publicado: (2003)

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)

K�ahler metric and moduli spaces /
Publicado: (1990)

Control of distributed parameter systems, 1982 : proceedings of the Third IFAC symposium, Toulouse, France, 29 June-2 July 1982 /
Publicado: (1983)

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

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

Uncertainty in artificial intelligence : proceedings of the Eighth Conference (1992) : July 17-19, 1992, Stanford University /
Publicado: (1992)

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

Mathematical foundations of quantum theory /
Publicado: (1978)

Exogenous and endogenous influences on metabolic and neural control of respiration, feeding, activity and energy supply in muscles, ion- and osmoregulation, reproduction, perception and orientation : proceedings of the Third Congress of the European Society for Comparative Physiology and Biochemistry, August 31-September 3, 1981, Noordwijkerhout, Netherlands /
Publicado: (1982)

Nerve, organ, and tissue regeneration--research perspectives /
Publicado: (1983)

Uncertainty in artificial intelligence : proceedings of the Ninth Conference (1993) : July 9-11, 1993, the Catholic University of America, Washington, D.C. /
Publicado: (1993)

Set-theoretic topology : [papers] /
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)

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

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

Cannot write session to /tmp/vufind_sessions/sess_7pelkoksh2696hgm19mu8g7m88