Logic colloquium 76 : :: SCD d'Orléans

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Logic colloquium :Oxford, GB
Autres auteurs:	Gandy, Robin O., 1919-1995 (Directeur de la publication), Hyland, J. M. E. (Directeur de la publication)
Format:	Livre papier
Langue:	Anglais
Publié:	Amsterdam [etc.] : North-Holland publishing company 1977.
Collection:	Studies in logic and the foundations of mathematics volume 87
Sujets:	Logique symbolique et mathématique Théorie des modèles Ensembles, Théorie des Récursivité, théorie de la Actes de congrès
Note:	Textes issus de la conférence "Logic colloquium 76", qui s'est tenue à Oxford, du 19 au 30 juillet 1976
Autres localisations:	Voir dans le Sudoc

Documents similaires

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Publié: (1967)

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

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

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

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Publié: (1975)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Publié: (1977)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Publié: (1978)

Cabal Seminar 76 77 : proceedings, Caltech-UCLA logic seminar 1976 77

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

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

Set Theory and Hierarchy Theory V

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

Walks on Ordinals and Their Characteristics
par: Todorčević, Stevo, 1955-...., mathématicien

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

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
par: Lolli, Gabriele, 1942-
Publié: (2011)

Recursion on the countable functionals
par: Normann, Dag, 1947-

Logic, computers, and sets
par: Wang, Hao, 1921-
Publié: (1970)

Set theory and logic
par: Fraenkel, Abraham Adolf, 1891-1965
Publié: (1966)

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

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

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

Elements of mathematical logic and set theory
par: Słupecki, Jerzy, 1904-1987, et autres
Publié: (1967)

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

Collected works. Logic, theory of sets and quantum mechanics
par: Von Neumann, John, 1903-1957
Publié: (1961)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Publié: (1974)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Publié: (1978)

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

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

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

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

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

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

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
par: Bourbaki, Nicolas
Publié: (1960)

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

A theory of sets
par: Morse, Anthony Perry, 1911-1984, mathématicien
Publié: (1965)

Degrees of unsolvability
par: Sacks, Gerald, 1933-2019
Publié: (1966)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
par: Karpiński, Marek

© 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