The theory of models : :: SCD d'Orléans

The theory of models : proceedings of the 1963 International symposium at Berkeley

The theory of models : proceedings of the 1963 International symposium at Berkeley

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	International Symposium on the theory of models :Berkeley, Cal.
Drugi avtorji:	Tarski, Alfred, 1901-1983 (Directeur de la publication), Addison, John West, 1930- (Directeur de la publication), Henkin, Leon, 1921-2006 (Directeur de la publication)
Format:	Livre papier
Jezik:	Anglais
Izdano:	Amsterdam [etc.] : North-Holland 1965.
Serija:	Studies in logic and the foundations of mathematics
Teme:	Logique symbolique et mathématique Modèles mathématiques Actes de congrès
Sporočilo:	En frontispice : "Dedicated to Thoralf Skolem (1887-1963)" Autres tirages : 1970 (2e), 1972(3e), 1978
Autres localisations:	Voir dans le Sudoc

Podobne knjige/članki

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
od: Chang, Chen Chung, 1927-2014, et autres
Izdano: (1973)

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

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

Institution-independent Model Theory
od: Diaconescu, Răzvan, 1964-
Izdano: (2008)

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

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

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

Computational learning theory : 4th European Conference, EuroCOLT 99, Nordkirchen, Germany, March 29 31, 1999 : proceedings

Category Theory : Proceedings of the International Conference held in Como, Italy, July 22 28, 1990

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

Topological Model Theory
od: Flum, Jörg, 1944-, et autres

Introduction to model theory and to the metamathematics of algebra
od: Robinson, Abraham, 1918-1974, mathématicien
Izdano: (1965)

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

Category theory and computer science : Edinburgh, U.K., September 7 9, 1987 : proceedings

Fundamentals of computation theory : international conference FCT '87 Kazan, USSR, June 22 26, 1987 : proceedings

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

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

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

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

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
Izdano: (1970)

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Database theory - ICDT '92 : 4th International Conference, Berlin, Germany, October 14 16, 1992 : proceedings

Database Theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8 10, 1997 : proceedings

Database theory - ICDT 2003 : 9th International Conference Siena, Italy, January 8 10, 2003 : proceedings

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
od: Badesa, Calixto, 19..-
Izdano: (2009)

Database theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 13, 1995 : proceedings

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
od: Fuhrmann, André

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1 6, 1983

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings

Logic colloquium : symposium on logic held at Boston, 1972-73
Izdano: (1975)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
od: Bernays, Paul, 1888-1977, et autres
Izdano: (1958)

Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Izdano: (1977)

Fundamentals of computation theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23 27, 1993 : proceedings

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

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Izdano: (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