Model Theory and Arithmetic : :: SCD d'Orléans

$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$

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Berline, Chantal, mathématicienne
Ente Autore:	Centre national de la recherche scientifique (Redattore)
Altri autori:	McAloon, Kenneth, 1940- (Direttore editoriale), Ressayre, Jean-Pierre, 19..-...., mathématicien (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in mathematics 890
Soggetti:	Logique symbolique et mathématique Théorie des modèles
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:	Textes en anglais ou en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• 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, ed. by C. Berline, K. McAloon, and J.-P. Ressayre, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (VI-306 p.), Lecture notes in mathematics, 0-387-11159-X • Model Theory and Arithmetic, Texte imprimé, 9783662203590

Documenti analoghi

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

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
di: Mostowski, Andrzej, 1913-1975
Pubblicazione: (1964)

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

Büchi's monadic second order successor arithmetic
di: Siefkes, Dirk

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

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

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

Institution-independent Model Theory
di: Diaconescu, Răzvan, 1964-
Pubblicazione: (2008)

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

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

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)

Classification Theory : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 19, 1985

Cours de logique mathématique. Théorie des modèles
di: Fraïssé, Roland, 1920-2008, mathématicien
Pubblicazione: (1972)

Logic year 1979-80, the University of Connecticut, USA
di: Lerman, Manuel, 1943-
Pubblicazione: (1981)

Logic Year 1979 80 : The University of Connecticut, USA
di: Lerman, Manuel, 1943-

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)

Recursive function theory and logic
di: Yasuhara, Ann Harris, 1932-2014
Pubblicazione: (1971)

Completeness Theory for Propositional Logics
di: Pogorzelski, Witold A., 1927-, et al.

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

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

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

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)

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

Axiomatic theory of sets and classes
di: Eisenberg, Murray, 1939-
Pubblicazione: (1971)

Logical approach to systems theory
di: Takahashi, Shingo, et al.

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

Logique interne : [modèles et applications]
di: Gauthier, Yvon, 1941-
Pubblicazione: (1997)

Elements of mathematical logic and set theory
di: Słupecki, Jerzy, 1904-1987, et al.
Pubblicazione: (1967)

Logique programmée et GRAFCET : des séquenceurs câblés aux microcontrôleurs
di: Jacques, Alain, 19..-...., professeur à l'institut national des télécommunications, et al.
Pubblicazione: (1987)

Lambda-calcul : types et modèles
di: Krivine, Jean-Louis, 1939-
Pubblicazione: (1990)

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

A connotational theory of program structure
di: Royer, James S., 1952-

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

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

Set theory and the continuum hypothesis
di: Cohen, Paul J., 1934-2007, mathématicien
Pubblicazione: (1966)

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

Challenges for action theories
di: Thielscher, Michael

© 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