Introduction to model theory and to the metamathematics of algebra :: SCD d'Orléans

$Introduction to model theory and to the metamathematics of algebra$

Introduction to model theory and to the metamathematics of algebra

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Robinson, Abraham, 1918-1974, mathématicien
Materyal Türü:	Livre papier
Dil:	Anglais
Baskı/Yayın Bilgisi:	Amsterdam : North-Holland Publishing Company 1965.
Edisyon:	2nd edition.
Seri Bilgileri:	Studies in logic and the foundations of mathematics
Konular:	Théorie des modèles Algèbre abstraite Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Algebraic systems
Yazar:: Mal'cev, Anatolii Ivanovič, 1909-1967
Baskı/Yayın Bilgisi: (1973)

The metamathematics of algebraic systems : collected papers : 1936-1967
Yazar:: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Baskı/Yayın Bilgisi: (1971)

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

Introduction to metamathematics
Yazar:: Kleene, Stephen Cole, 1909-1994
Baskı/Yayın Bilgisi: (1952)

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

Discrete mathematics
Yazar:: Biggs, Norman, 1941-
Baskı/Yayın Bilgisi: (1989)

Model theory
Yazar:: Chang, Chen Chung, 1927-2014, ve diğerleri
Baskı/Yayın Bilgisi: (1973)

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

Complete theories
Yazar:: Robinson, Abraham, 1918-1974
Baskı/Yayın Bilgisi: (1956)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Yazar:: Keisler, Howard Jerome, 1936-
Baskı/Yayın Bilgisi: (1971)

Topological Model Theory
Yazar:: Flum, Jörg, 1944-, ve diğerleri

Institution-independent Model Theory
Yazar:: Diaconescu, Răzvan, 1964-
Baskı/Yayın Bilgisi: (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
Yazar:: Berline, Chantal, mathématicienne

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
Yazar:: Auzimour, Annick, 1942-, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

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

Algèbre de Boole et machines logiques
Baskı/Yayın Bilgisi: (1967)

La structure algébrique des théories mathématiques
Yazar:: Henkin, Leon, 1921-2006
Baskı/Yayın Bilgisi: (1956)

Nearly Projective Boolean Algebras
Yazar:: Heindorf, Lutz, 1953-, ve diğerleri

Cylindric Set Algebras
Yazar:: Henkin, Leon, 1921-2006, ve diğerleri

L'algèbre de la logique
Yazar:: Couturat, Louis, 1868-1914
Baskı/Yayın Bilgisi: (1980)

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
Yazar:: Badesa, Calixto, 19..-
Baskı/Yayın Bilgisi: (2009)

Méthodes d'algèbre abstraite en géométrie algébrique
Yazar:: Samuel, Pierre, 1921-2009, mathématicien
Baskı/Yayın Bilgisi: (1967)

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Baskı/Yayın Bilgisi: (1975)

From Objects to Diagrams for Ranges of Functors
Yazar:: Gillibert, Pierre, 1983-, ve diğerleri

Algebra
Yazar:: Mac Lane, Saunders, 1909-2005, ve diğerleri
Baskı/Yayın Bilgisi: (1967)

Model theoretic algebra : selected topics
Yazar:: Cherlin, Gregory L., 1948-...., mathématicien

Mathématiques minute
Yazar:: Glendinning, Paul, 1959-...., mathématicien
Baskı/Yayın Bilgisi: (2014)

Algèbre générale et graphes
Yazar:: Cottet-Emard, François, 19..-...., mathématicien
Baskı/Yayın Bilgisi: (2019)

Algèbre. Structures fondamentales
Yazar:: Mac Lane, Saunders, 1909-2005, ve diğerleri
Baskı/Yayın Bilgisi: (1970)

Logique et modélisation : modèles consistants, données compatibles
Yazar:: Gondran, Michel, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Mathématiques : nombres, équations, géométrie, logique... en 200 concepts-clés
Yazar:: Glendinning, Paul, 1959-...., mathématicien
Baskı/Yayın Bilgisi: (2026)

Abstract algebra
Yazar:: Lindstrum, Andrew Oliver, 1914-
Baskı/Yayın Bilgisi: (1967)

Abstract algebra
Yazar:: Sah, Chih-han, 1934-
Baskı/Yayın Bilgisi: (1967)

Ordinal algebras
Yazar:: Tarski, Alfred, 1901-1983
Baskı/Yayın Bilgisi: (1956)

Algèbre : solutions développées des exercices Les grands théorèmes
Yazar:: Delorme, Charles, 1945-...., mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (1976)

Discrete mathematics : applied algebra for computer and information science
Yazar:: Bobrow, Leonard S., 1940-, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

The theory of models : proceedings of the 1963 International symposium at Berkeley
Baskı/Yayın Bilgisi: (1965)

Elements of abstract algebra
Yazar:: Clark, Allan, 1935-
Baskı/Yayın Bilgisi: (1984)

Introduction to abstract algebra
Yazar:: Li, Libin, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

© 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