Initiation au raisonnement mathématique : :: SCD d'Orléans

$Initiation au raisonnement mathématique : logique et théorie des ensembles$

Initiation au raisonnement mathématique : logique et théorie des ensembles

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Dupin, Jean-Claude, Valein, Jean-Luc (Egilea)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris : Armand Colin DL 1993. 14-Condé-sur-Noireau : Impr. Corlet
Saila:	Flash U 13
Gaiak:	Ensembles, Théorie des Raisonnement > Mathématiques Logique symbolique et mathématique Guides pratiques
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

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

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
nork: Aigner, Martin, 1942-2023, et al.
Argitaratua: (2006)

Raisonnements divins
nork: Aigner, Martin, 1942-2023, et al.
Argitaratua: (2002)

Théorie des ensembles
nork: Bourbaki, Nicolas

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
nork: Cori, René, et al.
Argitaratua: (1993)

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
nork: Patarin, Jacques, 1965-...., informaticien
Argitaratua: (2020)

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
nork: Patarin, Jacques, 1965-
Argitaratua: (2020)

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

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
nork: Aigner, Martin, 1942-2023, et al.
Argitaratua: (2017)

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

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

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

Set theory and logic
nork: Fraenkel, Abraham Adolf, 1891-1965
Argitaratua: (1966)

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

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

Logique et raisonnement
nork: Freund, Michael, 1944-...., philosophe
Argitaratua: (2016)

Logic, computers, and sets
nork: Wang, Hao, 1921-
Argitaratua: (1970)

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

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

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

Axiomatic theory of sets and classes
nork: Eisenberg, Murray, 1939-
Argitaratua: (1971)

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

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

Logique. Méthodes formelles pour l'étude des programmes
nork: Gochet, Paul, 1932-2011, et al.
Argitaratua: (1994)

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

De la logique à l'argumentation
nork: Grize, Jean Blaise, 1922-2013, logicien
Argitaratua: (2015)

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
nork: Auzimour, Annick, 1942-, et al.
Argitaratua: (1998)

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

Les démonstrations : l'art de convaincre
nork: Cohen, Gilles, 1951-2023, mathématicien
Argitaratua: (2015)

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

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

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

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

Qu'est-ce que les mathématiques ?
nork: Verdier, Norbert, 1967-
Argitaratua: (2000)

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

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

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

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

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

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

© 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