Model theory :: SCD d'Orléans

Model theory

Model theory

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Chang, Chen Chung, 1927-2014, Keisler, Howard Jerome, 1936- (Autor)
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	Amsterdam ; London : New York (N. Y.) : North-Holland ; American Elsevier 1973.
Edice:	Studies in logic and the foundations of mathematics 73
Témata:	Théorie des modèles Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Autor: Keisler, Howard Jerome, 1936-
Vydáno: (1971)

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

Institution-independent Model Theory
Autor: Diaconescu, Răzvan, 1964-
Vydáno: (2008)

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
Autor: Berline, Chantal, mathématicienne

Topological Model Theory
Autor: Flum, Jörg, 1944-, a další

Introduction to model theory and to the metamathematics of algebra
Autor: Robinson, Abraham, 1918-1974, mathématicien
Vydáno: (1965)

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
Autor: Badesa, Calixto, 19..-
Vydáno: (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

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

The theory of models : proceedings of the 1963 International symposium at Berkeley
Vydáno: (1965)

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

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

Eléments de logique mathématique : théorie des modèles
Autor: Kreisel, Georg, 1923-2015, a další
Vydáno: (1967)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Autor: Makkai, Mihály, 1939-, a další

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

Proof Theory : An Introduction
Autor: Pohlers, Wolfram

A theory of sets
Autor: Morse, Anthony Perry, 1911-1984, mathématicien
Vydáno: (1965)

Set theory and logic
Autor: Fraenkel, Abraham Adolf, 1891-1965
Vydáno: (1966)

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

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

104 Number Theory Problems : From the Training of the USA IMO Team
Autor: Andreescu, Titu, 1956-, a další

Algebraic systems
Autor: Mal'cev, Anatolii Ivanovič, 1909-1967
Vydáno: (1973)

Axiomatic theory of sets and classes
Autor: Eisenberg, Murray, 1939-
Vydáno: (1971)

Logical approach to systems theory
Autor: Takahashi, Shingo, a další

Elements of mathematical logic and set theory
Autor: Słupecki, Jerzy, 1904-1987, a další
Vydáno: (1967)

Lecture notes on O-minimal structures and real analytic geometry
Autor: Miller, Christopher

Techniques of Admissible Recursion Theory
Autor: Chong, Chi-Tat, 1949-...., mathématicien

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
Autor: Cori, René, a další
Vydáno: (1993)

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

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Vydáno: (1977)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Set theory and the continuum hypothesis
Autor: Cohen, Paul J., 1934-2007, mathématicien
Vydáno: (1966)

Logique et modélisation : modèles consistants, données compatibles
Autor: Gondran, Michel, a další
Vydáno: (1995)

The Enumerative Theory of Conics after Halphen
Autor: Casas-Alvero, Eduardo, a další

Formal concept analysis : mathematical foundations : with 105 figures
Autor: Ganter, Bernhard, a další
Vydáno: (1999)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Vydáno: (1970)

Admissible sets and structures : an approach to definability theory
Autor: Barwise, Jon, 1942-2000
Vydáno: (1975)

Category Theory : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6 10, 1981

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

© 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