Cabal Seminar 76 77 : :: SCD d'Orléans

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

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	Caltech-UCLA logic seminar :Los Angeles, Calif.
Tác giả khác:	Kechris, Alexander Sotirios, 1946-...., mathématicien (Giám đốc xuất bản), Moschovakis, Yiannis N. (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Loạt:	Lecture notes in mathematics 689
Những chủ đề:	Logique symbolique et mathématique Théorie descriptive des ensembles Actes de congrès
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	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 76-77, proceedings, Caltech-UCLA logic seminar 1976-77, edited by A. S. Kechris and Y. N. Moschovakis, 1978, Berlin [etc.], Springer-Verlag, 1 vol. (282 p.), Lecture notes in mathematics, 0-387-09086-X • Cabal Seminar 76 77, Texte imprimé, 9783662183397

Những quyển sách tương tự

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Được phát hành: (1978)

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

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

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Được phát hành: (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
Được phát hành: (1977)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Được phát hành: (1975)

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

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
Được phát hành: (1970)

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

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Được phát hành: (1978)

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

Set theory and logic
Bằng: Fraenkel, Abraham Adolf, 1891-1965
Được phát hành: (1966)

Logic, computers, and sets
Bằng: Wang, Hao, 1921-
Được phát hành: (1970)

Sets, logic, and categories
Bằng: Cameron, Peter J., 1947-...., mathématicien

Elements of mathematical logic and set theory
Bằng: Słupecki, Jerzy, 1904-1987, et al.
Được phát hành: (1967)

Collected works. Logic, theory of sets and quantum mechanics
Bằng: Von Neumann, John, 1903-1957
Được phát hành: (1961)

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

Banach Spaces and Descriptive Set Theory : Selected Topics
Bằng: Dodos, Pandelis, 1974-

Topics in Orbit Equivalence
Bằng: Kechris, Alexander Sotirios, 1946-...., mathématicien, et al.

Admissible sets and structures : an approach to definability theory
Bằng: Barwise, Jon, 1942-2000
Được phát hành: (1975)

A theory of sets
Bằng: Morse, Anthony Perry, 1911-1984, mathématicien
Được phát hành: (1965)

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

Guida alla teoria degli insiemi
Bằng: Lolli, Gabriele, 1942-

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
Bằng: Bourbaki, Nicolas
Được phát hành: (1960)

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

Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers

Around Classification Theory of Models
Bằng: Shelah, Saharon, 1945-...., mathématicien

Axiomatic theory of sets and classes
Bằng: Eisenberg, Murray, 1939-
Được phát hành: (1971)

Langages, ensembles, théories axiomatiques
Bằng: Hervieux, Maurice, et al.
Được phát hành: (1970)

Théorie des ensembles
Bằng: Bourbaki, Nicolas

A logical introduction to proof
Bằng: Cunningham, Daniel W.

Rough sets and current trends in computing : third international conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings

Turbulence Seminar, Berkeley 1976/77

Abstract sets and finite ordinals : an introduction to the study of set theory
Bằng: Keene, Geoffroy Bourton
Được phát hành: (1961)

Injective Choice Functions
Bằng: Holz, Michael, mathématicien, et al.

Logique. Méthodes formelles pour l'étude des programmes
Bằng: Gochet, Paul, 1932-2011, et al.
Được phát hành: (1994)

Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings

Set theory and the continuum hypothesis
Bằng: Cohen, Paul J., 1934-2007, mathématicien
Được phát hành: (1966)

Initiation au raisonnement mathématique : logique et théorie des ensembles
Bằng: Dupin, Jean-Claude, et al.
Được phát hành: (1993)

© 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