Eléments de logique mathématique : :: SCD d'Orléans

$Eléments de logique mathématique : théorie des modèles$

Eléments de logique mathématique : théorie des modèles

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Kreisel, Georg, 1923-2015, Krivine, Jean-Louis, 1939- (مؤلف)
التنسيق:	Livre papier
اللغة:	Français
منشور في:	Paris : Dunod C 1967.
سلاسل:	Monographies de la Société mathématique de France 3
الموضوعات:	Axiomatique Modèles mathématiques Logique symbolique et mathématique Théorie des modèles
Autres localisations:	Voir dans le Sudoc

مواد مشابهة

Elements of mathematical logic and set theory
بواسطة: Słupecki, Jerzy, 1904-1987, وآخرون
منشور في: (1967)

Axiomatic theory of sets and classes
بواسطة: Eisenberg, Murray, 1939-
منشور في: (1971)

Langages, ensembles, théories axiomatiques
بواسطة: Hervieux, Maurice, وآخرون
منشور في: (1970)

Set theory and the continuum hypothesis
بواسطة: Cohen, Paul J., 1934-2007, mathématicien
منشور في: (1966)

Intuitionistic logic model theory and forcing
بواسطة: Fitting, Melvin Chris, 1942-
منشور في: (1969)

Théorie des ensembles
بواسطة: Krivine, Jean-Louis, 1939-
منشور في: (1998)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
بواسطة: Cori, René, وآخرون
منشور في: (1993)

Analyse non standard
بواسطة: Diener, Francine, وآخرون
منشور في: (1989)

Analyse non standard
بواسطة: Diener, Francine, وآخرون
منشور في: (1989)

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques
بواسطة: Cavaillès, Jean, 1903-1944
منشور في: (1981)

Les structures de base d'une théorie physique
بواسطة: Ludwig, Günther, 1918-2007
منشور في: (1990)

Logique et modélisation : modèles consistants, données compatibles
بواسطة: Gondran, Michel, وآخرون
منشور في: (1995)

Models of ZF-Set Theory
بواسطة: Felgner, Ulrich, 1941-

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
بواسطة: Berline, Chantal, mathématicienne

Model theory
بواسطة: Chang, Chen Chung, 1927-2014, وآخرون
منشور في: (1973)

Théorie axiomatique des ensembles
بواسطة: Krivine, Jean-Louis, 1939-
منشور في: (1972)

Théorie axiomatique des ensembles
بواسطة: Krivine, Jean-Louis, 1939-
منشور في: (1969)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
بواسطة: Keisler, Howard Jerome, 1936-
منشور في: (1971)

Institution-independent Model Theory
بواسطة: Diaconescu, Răzvan, 1964-
منشور في: (2008)

Logica Universalis : Towards a General Theory of Logic
بواسطة: Beziau, Jean-Yves

Around Classification Theory of Models
بواسطة: Shelah, Saharon, 1945-...., mathématicien

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
بواسطة: Makkai, Mihály, 1939-, وآخرون

Introduction to model theory and to the metamathematics of algebra
بواسطة: Robinson, Abraham, 1918-1974, mathématicien
منشور في: (1965)

Éléments de mathématiques discrètes
بواسطة: Frécon, Louis, 1940-
منشور في: (2002)

Cours de logique mathématique. Théorie des modèles
بواسطة: Fraïssé, Roland, 1920-2008, mathématicien
منشور في: (1972)

Metamathematical investigation of intuitionistic arithmetic and analysis
بواسطة: Troelstra, Anne Sjerp

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
بواسطة: Bourbaki, Nicolas
منشور في: (1960)

Topological Model Theory
بواسطة: Flum, Jörg, 1944-, وآخرون

Logique. Méthodes pour l'intelligence artificielle
بواسطة: Gochet, Paul, 1932-2011, وآخرون
منشور في: (2000)

Constructible sets with applications
بواسطة: Mostowski, Andrzej, 1913-1975
منشور في: (1969)

Logique mathématique
بواسطة: Kleene, Stephen Cole, 1909-1994
منشور في: (1971)

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

Algebraic systems
بواسطة: Mal'cev, Anatolii Ivanovič, 1909-1967
منشور في: (1973)

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

Formal concept analysis : mathematical foundations : with 105 figures
بواسطة: Ganter, Bernhard, وآخرون
منشور في: (1999)

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
بواسطة: Badesa, Calixto, 19..-
منشور في: (2009)

Lecture notes on O-minimal structures and real analytic geometry
بواسطة: Miller, Christopher

Éléments de mathématiques modernes
بواسطة: Richardson, Moses, 1911-1968
منشور في: (1968)

Cours de logique mathématique. Relation et formule logique
بواسطة: Fraïssé, Roland, 1920-2008, mathématicien
منشور في: (1971)

Initiation au raisonnement mathématique : logique et théorie des ensembles
بواسطة: Dupin, Jean-Claude, وآخرون
منشور في: (1993)

© 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