Cabal Seminar 79 81 : :: SCD d'Orléans

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

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

Salvato in:

Dettagli Bibliografici
Ente Autore:	Caltech-UCLA logic seminar :Los Angeles, Calif.
Altri autori:	Kechris, Alexander Sotirios, 1946-...., mathématicien (Direttore editoriale), Martin, Donald A., 1940- (Direttore editoriale), Moschovakis, Yiannis N. (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in mathematics 1019
Soggetti:	Logique symbolique et mathématique Ensembles, Théorie des Théorie de la récursivité Mathématiques Actes de congrès
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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Cabal Seminar 79-81, proceedings, Caltech-UCLA logic seminar 1979-81, edited by A.S. Kechris, D.A. Martin and Y.N. Moschovakis, 1983, Berlin [etc.], Springer-Verlag, 1 vol. (284 p.), Lecture notes in mathematics, 0-387-12688-0 • Cabal Seminar 79-81, Texte imprimé, 9783662215197

Documenti analoghi

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

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

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

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

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

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Pubblicazione: (1977)

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

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

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

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

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

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

Techniques of Admissible Recursion Theory
di: 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
di: Lolli, Gabriele, 1942-
Pubblicazione: (2011)

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

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

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

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

Set Theory and Hierarchy Theory V

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

Logic, computers, and sets
di: Wang, Hao, 1921-
Pubblicazione: (1970)

Set theory and logic
di: Fraenkel, Abraham Adolf, 1891-1965
Pubblicazione: (1966)

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

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

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

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

Degrees of unsolvability
di: Sacks, Gerald, 1933-2019
Pubblicazione: (1966)

Admissible sets and structures : an approach to definability theory
di: Barwise, Jon, 1942-2000
Pubblicazione: (1975)

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

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

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

Guida alla teoria degli insiemi
di: Lolli, Gabriele, 1942-

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

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

A logical introduction to proof
di: Cunningham, Daniel W.

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

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

Langages, ensembles, théories axiomatiques
di: Hervieux, Maurice, et al.
Pubblicazione: (1970)

Théorie des ensembles
di: Bourbaki, Nicolas

© 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