Cargando…

Large infinitary languages : model theory /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Dickmann, M. A., 1940-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Colección:	Studies in logic and the foundations of mathematics ; v. 83.
Temas:	Infinitary languages. Model theory. Langages infinitaires. Th�eorie des mod�eles. MATHEMATICS > Infinity. MATHEMATICS > Logic. Infinitary languages Model theory Modeltheorie.
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
por: Keisler, H. Jerome
Publicado: (1971)

Languages with expressions of infinite length /
Publicado: (1964)

Model theory /
por: Chang, Chen Chung, 1927-
Publicado: (1990)

Lectures on infinitary model theory /
por: Marker, D. (David), 1958-
Publicado: (2016)

Classification theory and the number of non-isomorphic models /
por: Shelah, Saharon
Publicado: (1990)

Intuitionistic logic, model theory and forcing.
por: Fitting, Melvin, 1942-
Publicado: (1969)

The metamathematics of algebraic systems, collected papers: 1936-1967 /
por: Mal��t�sev, A. I. (Anatoli�i Ivanovich), 1909-1967
Publicado: (1971)

Constructible sets with applications
por: Mostowski, Andrzej
Publicado: (1969)

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)

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

Quantum theoretic machines : what is thought from the point of view of physics /
por: Stern, August, 1945-
Publicado: (2000)

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

The theory of models proceedings.
Publicado: (1965)

Introduction to model theory and to the metamathematics of algebra.
por: Robinson, Abraham, 1918-1974
Publicado: (1963)

Mathematical modelling of gas-phase complex reaction systems : pyrolysis and combustion /
Publicado: (2019)

Modelling in transport phenomena : a conceptual approach /
por: Tosun, �Ismail
Publicado: (2007)

Transport phenomena in manufacturing and materials processing /
por: Yang, Wen-Jei, 1931-
Publicado: (1994)

Nature-Inspired Optimization Algorithms for Fuzzy Controlled Servo Systems /
por: Precup, Radu-Emil, et al.
Publicado: (2019)

Admissibility of logical inference rules /
por: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Publicado: (1997)

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

Damped wave transport and relaxation /
por: Sharma, Kal Renganathan
Publicado: (2005)

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

Air quality monitoring and advanced Bayesian modelling /
Publicado: (2023)

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)

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

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

Modeling of microscale transport in biological processes /
Publicado: (2017)

The fundamentals of signal transmission : in line, waveguide, fibre, and free space /
por: Ibbotson, L.
Publicado: (1999)

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 nuts and bolts of proofs /
por: Cupillari, Antonella
Publicado: (2005)

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

Uncertainty quantification in multiscale materials modeling /
Publicado: (2020)

Handbook of proof theory /
Publicado: (1998)

Mathematical models of attitude change /
por: Hunter, John E. (John Edward), 1939-2002
Publicado: (1984)

Computational geo-electromagnetics : methods, models, and forecasts /
por: Spichak, V. V. (V�i�acheslav Valentinovich)
Publicado: (2020)

Gas-particle and granular flow systems : coupled numerical methods and applications /
por: Gui, Nan, et al.
Publicado: (2020)

Systems immunology and infection microbiology /
por: Chen, Bor-Sen
Publicado: (2021)

General lattice theory /
por: Gratzer, George A.
Publicado: (1978)

Global models and the international economic order : a paper for the United Nations Institute for Training and Research project on the future /
por: Cole, Sam
Publicado: (1977)

The handbook of reliability, maintenance, and system safety through mathematical modeling /
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_do2jcl4mjn93muk0vadvkg2n9q