Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Logic Colloquium '82 (Florence)
Otros Autores:	Lolli, Gabriele, 1942-, Longo, G. (Giuseppe), Marcja, A. (Annalisa)
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam ; Oxford : North-Holland, 1984.
Colección:	Studies in logic and the foundations of mathematics ; v. 112.
Temas:	Logic, Symbolic and mathematical. Model theory > Congresses. Categories (Mathematics) > Congresses. Lambda calculus > Congresses. Th�eorie des mod�eles > Congr�es. Cat�egories (Math�ematiques) > Congr�es. Lambda-calcul > Congr�es. Logique symbolique et math�ematique. Model theory Lambda calculus Categories (Mathematics) Logic, Symbolic and mathematical Mathematical logic Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es.
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Categories, allegories /
por: Freyd, Peter J.
Publicado: (1990)

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

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)

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

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)

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)

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

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

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

Theory of categories /
Publicado: (1971)

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

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)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Publicado: (1977)

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)

The theory of models proceedings.
Publicado: (1965)

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

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

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

Comparison of forest water and energy exchange models /
Publicado: (1979)

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)

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
Publicado: (1982)

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

Mathematical and computational methods in physiology : satellite symposium of the 28th International Congress of Physiological Sciences, Budapest, Hungary, 1980 /
Publicado: (1981)

Three-dimensional models of marine and estuarine dynamics /
Publicado: (1987)

Language in action : categories, lambdas, and dynamic logic /
por: Benthem, Johan van, 1949-
Publicado: (1991)

Formal systems and recursive functions /
Publicado: (1965)

The axiomatic method /
Publicado: (1959)

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Publicado: (1986)

Mathematical modelling (ICTMA 12) : education, engineering and economics : proceedings from the twelfth International Conference on the Teaching of Mathematical Modelling and Applications /
Publicado: (2007)

Spatial choices and processes /
Publicado: (1990)

Spectral theory of differential operators : proceedings of the conference held at the University of Alabama in Birmingham, Birmingham, Alabama, U.S.A., March 26-28, 1981 /
Publicado: (1981)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Publicado: (1973)

Mathematical modelling in education and culture : ICTMA 10 /
Publicado: (2003)

Modelling and mathematics education : ICTMA 9 : applications in science and technology /
Publicado: (2001)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Publicado: (1967)

Variational methods in geosciences : proceedings of the International Symposium on Variational Methods in Geosciences held at the University of Oklahoma, Norman, Oklahoma on October 15-17, 1985 /
Publicado: (1986)

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

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

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

Dynamic modelling and control of national economies, 1983 : proceedings of the 4th IFAC/IFORS/IIASA conference and the 1983 SEDC Conference on Economic Dynamics and Control, Washington, D.C., USA, 17-19 June 1983 /
Publicado: (1984)

Cannot write session to /tmp/vufind_sessions/sess_npmdos24g7evee84mhacl4drst