Institution-independent Model Theory :: SCD d'Orléans

Institution-independent Model Theory

Institution-independent Model Theory

Salvato in:

Dettagli Bibliografici
Autore principale:	Diaconescu, Răzvan, 1964-
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Basel ; Boston ; Berlin : Birkhäuser C 2008. Cham : Springer Nature [20..]. Cham : [20..].
Serie:	Studies in Universal Logic
Soggetti:	Théorie des modèles Informatique > Mathématiques Logique symbolique et mathématique
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:	L'impression du document génère 360 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Institution-independent model theory, Ržzvan Diaconescu, Basel, Birkhäuser, 2008, 1 volume (xi-376 pages), Studies in universal logic, 3-7643-8707-6

Documenti analoghi

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

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

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

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

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

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

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 of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

The theory of models : proceedings of the 1963 International symposium at Berkeley
Pubblicazione: (1965)

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

Logique et modélisation : modèles consistants, données compatibles
di: Gondran, Michel, et al.
Pubblicazione: (1995)

Automata, logics, and infinite games
di: Grädel, Erich, 1958-

The logic of information structures
di: Wansing, Heinrich, 1963-

Eléments de logique mathématique : théorie des modèles
di: Kreisel, Georg, 1923-2015, et al.
Pubblicazione: (1967)

Logica Universalis : Towards a General Theory of Logic
di: Beziau, Jean-Yves

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 6, 1997 : proceedings

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
di: Lolli, Gabriele, 1942-
Pubblicazione: (2011)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-
Pubblicazione: (2008)

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-

Introduction to the theory of computation
di: Sipser, Michael
Pubblicazione: (2006)

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
di: Karhumäki, Juhani, 1949-

Three Views of Logic : Mathematics, Philosophy, and Computer Science
di: Loveland, Donald W., et al.
Pubblicazione: (2014)

Computational learning theory : 4th European Conference, EuroCOLT 99, Nordkirchen, Germany, March 29 31, 1999 : proceedings

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp

Proof Theory : An Introduction
di: Pohlers, Wolfram

A theory of sets
di: Morse, Anthony Perry, 1911-1984, mathématicien
Pubblicazione: (1965)

Set theory and logic
di: Fraenkel, Abraham Adolf, 1891-1965
Pubblicazione: (1966)

Using sophisticated models in resolution theorem proving
di: Sandford, David M., 19..-

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
di: Jensen, Ronald Björn, 1936-

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Pubblicazione: (2005)

First-order dynamic logic
di: Harel, David, 1950-

Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
di: Bekkali, Mohamed, 1956-

104 Number Theory Problems : From the Training of the USA IMO Team
di: Andreescu, Titu, 1956-, et al.

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
di: Kahle, Reinhard, 1967-

Éléments de mathématiques discrètes
di: Frécon, Louis, 1940-
Pubblicazione: (2002)

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Database theory - ICDT 2003 : 9th International Conference Siena, Italy, January 8 10, 2003 : proceedings

© 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