Classification Theory : :: SCD d'Orléans

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

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

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	U.S.-Israel binational workshop on model theory in mathematical logic. classification theory :Chicago, Ill.
Altres autors:	Baldwin, John T., mathématicien (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in mathematics 1292
Matèries:	Logique symbolique et mathématique Actes de congrès
Accés en línia:	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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Classification theory, proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985, J. T. Baldwin (ed.), 1987, Berlin, Springer-Verlag, 1 volume (500 pages), Lecture notes in mathematics, 3-540-18674-3 • Classification Theory, Texte imprimé, 9783662210864

Ítems similars

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

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

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

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

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

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

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

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Publicat: (1968)

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

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

Logics of programs : Brooklyn, June 17 19, 1985 : proceedings

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

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

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Publicat: (1971)

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

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Publicat: (1978)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Publicat: (1979)

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Publicat: (1973)

Conference in mathematical logic, London '70

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

Conference in mathematical logic, London '70
Publicat: (1972)

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

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

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Publicat: (1975)

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

Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : proceedings
per: Ben-David, Shai

Database theory - ICDT 99 : 7th International Conference, Jerusalem, Israel, January 10 12, 1999 : proceedings

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

Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21 24, 1979 and February 4 7, 1980

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

The problem of inductive logic
Publicat: (1968)

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Publicat: (1981)

Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79

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

Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
per: MacNish, Craig, 19..-

© 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