Model theory for infinitary logic : :: SCD d'Orléans

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Keisler, Howard Jerome, 1936-
Materyal Türü:	Livre papier
Dil:	Anglais
Baskı/Yayın Bilgisi:	Amsterdam ; London : North-Holland 1971.
Seri Bilgileri:	Studies in logic and the foundations of mathematics vol. 62
Konular:	Théorie des modèles Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

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

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

Infinitary Logic : in Memoriam Carol Karp : A Collection of Papers by Various Authors

Set theory and logic
Yazar:: Fraenkel, Abraham Adolf, 1891-1965
Baskı/Yayın Bilgisi: (1966)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Yazar:: Makkai, Mihály, 1939-, ve diğerleri

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Baskı/Yayın Bilgisi: (1975)

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

Elements of mathematical logic and set theory
Yazar:: Słupecki, Jerzy, 1904-1987, ve diğerleri
Baskı/Yayın Bilgisi: (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

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

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

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Baskı/Yayın Bilgisi: (1977)

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

Logic, computers, and sets
Yazar:: Wang, Hao, 1921-
Baskı/Yayın Bilgisi: (1970)

Introduction to model theory and to the metamathematics of algebra
Yazar:: Robinson, Abraham, 1918-1974, mathématicien
Baskı/Yayın Bilgisi: (1965)

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

Sets, logic, and categories
Yazar:: Cameron, Peter J., 1947-...., mathématicien

Gentzen calculi for modal propositional logic
Yazar:: Poggiolesi, Francesca, 1980-

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)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
Yazar:: Loveland, Donald W., ve diğerleri
Baskı/Yayın Bilgisi: (2014)

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

Recursive function theory and logic
Yazar:: Yasuhara, Ann Harris, 1932-2014
Baskı/Yayın Bilgisi: (1971)

Completeness Theory for Propositional Logics
Yazar:: Pogorzelski, Witold A., 1927-, ve diğerleri

Notes on logic
Yazar:: Lyndon, Roger Conant, 1917-1988
Baskı/Yayın Bilgisi: (1966)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Baskı/Yayın Bilgisi: (1975)

A mathematical introduction to logic
Yazar:: Enderton, Herbert, 1936-2010
Baskı/Yayın Bilgisi: (1972)

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

Modal logics
Yazar:: Feys, Robert, 1889-1961
Baskı/Yayın Bilgisi: (1965)

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
Baskı/Yayın Bilgisi: (1970)

A concise introduction to mathematical logic
Yazar:: Rautenberg, Wolfgang, 1936-

Logic for mathematicians
Yazar:: Rosser, John Barkley, 1907-1989
Baskı/Yayın Bilgisi: (1953)

Mathematical logic
Yazar:: Shoenfield, Joseph Robert, 1927-2000
Baskı/Yayın Bilgisi: (1967)

Elementary logic
Yazar:: Quine, Willard Van Orman, 1908-2000, philosophe
Baskı/Yayın Bilgisi: (1965)

Logic and structure
Yazar:: Dalen, Dirk van, 1932-

Studia logica
Baskı/Yayın Bilgisi: (2002)

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

An introduction to modal logic
Yazar:: Hughes, George Edward, 1918-, ve diğerleri
Baskı/Yayın Bilgisi: (1968)

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

© 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