Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Kleene Symposium Madison, Wis.
Otros Autores:	Kleene, Stephen Cole, 1909-1994, Barwise, Jon, Keisler, H. Jerome, Kunen, Kenneth
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Colección:	Studies in logic and the foundations of mathematics ; v. 101.
Temas:	Kleene, Stephen Cole, > 1909-1994. Kleene, Stephen Cole, > 1909-1994 Recursion theory > Congresses. Intuitionistic mathematics > Congresses. Th�eorie de la r�ecursivit�e > Congr�es. Math�ematiques intuitionnistes > Congr�es. Intuitionistic mathematics Recursion theory Intu�itionisme. Recursieve functies. Conference papers and proceedings
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

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

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
Publicado: (1982)

The foundations of intuitionistic mathematics /
Publicado: (1965)

Intuitionism : an introduction /
Publicado: (1966)

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

Intuitionism : an introduction /
Publicado: (1956)

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)

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

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)

Recursive analysis /
Publicado: (1961)

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

Intentional mathematics /
Publicado: (1985)

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)

Greenhouse-gas-induced climatic change : a critical appraisal of simulations and observations /
Publicado: (1991)

Formal systems and recursive functions /
Publicado: (1965)

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)

The history of modern mathematics : proceedings of the Symposium on the History of Modern Mathematics, Vassar College, Poughkeepsie, New York, June 20-24, 1989 /
Publicado: (1989)

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

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

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

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

Information linkage between applied mathematics and industry /
Publicado: (1979)

Microeconomic simulation models for public policy analysis /
Publicado: (1980)

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)

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

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

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

Quantitative techniques for the analysis of sediments : an international symposium : proceedings of an international symposium held at the IX International Sedimentological Congress in Nice, France, on 8 July 1975 ... /
Publicado: (1976)

Neural models of plasticity : experimental and theoretical approaches /
Publicado: (1989)

Nutrition in the lower Metazoa : proceedings of a meeting held at the University of Caen, France, 11-13 September 1979 /
Publicado: (1980)

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

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)

Microeconomic simulation models for public policy analysis.
Publicado: (1980)

Solid ionic and ionic-electronic conductors : selected papers from the conference held in Rome, September 1976 /
Publicado: (1977)

Catalysis in organic syntheses 1976 : [papers] /
Publicado: (1976)

Logistics and benefits of using mathematical models of hydrologic and water resource systems : selected papers with summary of discussions from the International Symposium on Logistics and Benefits of Using Mathematical Models of Hydrologic and Water Resource Systems, Pisa, Italy, 24-26 October 1978 /
Publicado: (1981)

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)

Cannot write session to /tmp/vufind_sessions/sess_hljgvlrb0pef2n94e5ir9lpm52