Sets, logic, and categories :: SCD d'Orléans

$Sets, logic, and categories$

Sets, logic, and categories

Salvato in:

Dettagli Bibliografici
Autore principale:	Cameron, Peter J., 1947-...., mathématicien
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Cham : Springer [201.?].
Serie:	Springer undergraduate mathematics series
Soggetti:	Ensembles, Théorie des Logique symbolique et mathématique Catégories (mathématiques)
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:	• Sets, logic, and categories, Peter J. Cameron, London, Springer, 1998, 1 vol. (X-180 p.), Springer undergraduate mathematics series, 1-85233-056-2

Documenti analoghi

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

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

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

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

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)

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

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

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

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

Set theory and the continuum hypothesis
di: Cohen, Paul J., 1934-2007, mathématicien
Pubblicazione: (1966)

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

Abstract sets and finite ordinals : an introduction to the study of set theory
di: Keene, Geoffroy Bourton
Pubblicazione: (1961)

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

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

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

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

Logiques, ensembles, catégories : le point de vue constructif
di: Ageron, Pierre, 1964-...., mathématicien et didacticien des mathématiques
Pubblicazione: (2000)

Transactions on rough sets.
di: Peters, James F., 1936-

Ensembles, structures, catégories, faisceaux
di: Vasilach, Serge
Pubblicazione: (1977)

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

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

Elements of Logic via Numbers and Sets
di: Johnson, David Lawrence, 1943-2023, mathématicien

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

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
di: Bucur, Ion, 1930-1976, et al.

Injective Choice Functions
di: Holz, Michael, mathématicien, et al.

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

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

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.

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

Banach Spaces and Descriptive Set Theory : Selected Topics
di: Dodos, Pandelis, 1974-

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

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

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

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

Théorie des ensembles
di: Bourbaki, Nicolas

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

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

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

© 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