Finite model theory :: SCD d'Orléans

Finite model theory

Finite model theory

Salvato in:

Dettagli Bibliografici
Autori principali:	Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, 1944- (Autore)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	[Berlin] : Springer [20..]. Cham : Springer Nature
Edizione:	Second Revised and Enlarged Edition 1999.
Serie:	Springer monographs in mathematics
Soggetti:	Théorie des modèles
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Description d'après consultation du 25 mars 2011 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Finite model theory, Heinz-Dieter Ebbinghaus, Jörg Flum, 2nd revised and enlarged edition 1999, 2006, Berlin, Springer, 1 vol. (XI-360 p.), Springer monographs in mathematics, 3-540-28787-6

Documenti analoghi

Finite Model Theory
di: Ebbinghaus, Heinz-Dieter, 1939-, et al.

Topological Model Theory
di: Flum, Jörg, 1944-, et al.

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
di: Keisler, Howard Jerome, 1936-
Pubblicazione: (1971)

Saturated model theory
di: Sacks, Gerald, 1933-2019
Pubblicazione: (1972)

Lectures on model theory. Summer 1973
di: Gostanian, Richard, 1945-
Pubblicazione: (1974)

Model theory
di: Chang, Chen Chung, 1927-2014, et al.
Pubblicazione: (1973)

Models of ZF-Set Theory
di: Felgner, Ulrich, 1941-

Lectures in model theory
Pubblicazione: (2018)

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1 3, 1979
di: Jensen, Ronald Björn, 1936-

Around Classification Theory of Models
di: Shelah, Saharon, 1945-...., mathématicien

Mathematical logic and model theory : a brief introduction
di: Prestel, Alexander, 1941-...., mathématicien, et al.

Theory of groups of finite order
di: Burnside, William, 1852-1927
Pubblicazione: (1955)

Intuitionistic logic model theory and forcing
di: Fitting, Melvin Chris, 1942-
Pubblicazione: (1969)

Model theory and algebra : a memorial tribute to Abraham Robinson
di: Saracino, Daniel H., 1947-

Ernst Zermelo : An Approach to His Life and Work
di: Ebbinghaus, Heinz-Dieter, 1939-

Model Theory and Topoi : A Collection of Lectures by Various Authors

Model theory and applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
di: Mangani, Piero, 1935-2013, mathématicien
Pubblicazione: (2011)

Institution-independent Model Theory
di: Diaconescu, Răzvan, 1964-
Pubblicazione: (2008)

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

K-theory of finite groups and orders
di: Swan, Richard Gordon, 1933-, et al.

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
di: Badesa, Calixto, 19..-
Pubblicazione: (2009)

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
di: Berline, Chantal, mathématicienne

Introduction to model theory and to the metamathematics of algebra
di: Robinson, Abraham, 1918-1974, mathématicien
Pubblicazione: (1965)

Finite Geometry and Character Theory
di: Pott, Alexander, 1961-...., mathématicien

Asymptotic theory of finite dimensional normed spaces
di: Milman, Vitali D., 1939-, et al.

Model Theory and Algebraic Geometry : An introduction to E. Hrushovski s proof of the geometric Mordell-Lang conjecture

Set Theory and Hierarchy Theory V

Finite mixture and Markov switching models
di: Frühwirth-Schnatter, Sylvia
Pubblicazione: (2006)

Finite mixture and Markov switching models
di: Frühwirth-Schnatter, Sylvia

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Pubblicazione: (1977)

Theory of finite groups. Applications in physics : symmetry groups of quantum mechanical systems
di: Jansen, Laurens, et al.
Pubblicazione: (1967)

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Finite fields
di: Lidl, Rudolf, 1948-, et al.
Pubblicazione: (1997)

Models and ultraproducts : an introduction
di: Bell, John Lane, 1945-, et al.
Pubblicazione: (1971)

Optimal control theory with economic applications
di: Seierstad, Atle, 1939-, et al.
Pubblicazione: (1987)

Finite group theory
di: Aschbacher, Michael, 1944-
Pubblicazione: (1986)

Systèmes et modèles : introduction critique à l'analyse de systèmes : essai
di: Walliser, Bernard, 1944-
Pubblicazione: (1977)

Handbook of game theory.
di: Young, H. Peyton, 1945-
Pubblicazione: (2014)

Evolution and the theory of games
di: Smith, John Maynard, 1920-2004
Pubblicazione: (1982)

Schaum's outline of theory and problems of finite mathematics
di: Lipschutz, Seymour Saul, 1931-
Pubblicazione: (1966)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales