Langages, ensembles, théories axiomatiques :: SCD d'Orléans

Langages, ensembles, théories axiomatiques

Langages, ensembles, théories axiomatiques

Guardat en:

Dades bibliogràfiques
Autors principals:	Hervieux, Maurice, Paquette, Gilbert, 1942- (Autor)
Autor corporatiu:	Roy Tetrault Inc (Illustrador)
Format:	Livre papier
Idioma:	Français
Publicat:	Montréal ; Toronto : Holt, Rinehart et Winston ltée DL 1970.
Matèries:	Ensembles, Théorie axiomatique des Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Théorie axiomatique des ensembles
per: Krivine, Jean-Louis, 1939-
Publicat: (1972)

Théorie axiomatique des ensembles
per: Krivine, Jean-Louis, 1939-
Publicat: (1969)

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques
per: Cavaillès, Jean, 1903-1944
Publicat: (1981)

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

Axiomatic theory of sets and classes
per: Eisenberg, Murray, 1939-
Publicat: (1971)

Théorie des ensembles
per: Krivine, Jean-Louis, 1939-
Publicat: (1998)

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

Analyse non standard
per: Diener, Francine, et al.
Publicat: (1989)

Analyse non standard
per: Diener, Francine, et al.
Publicat: (1989)

Eléments de logique mathématique : théorie des modèles
per: Kreisel, Georg, 1923-2015, et al.
Publicat: (1967)

Théorie des ensembles
per: Bourbaki, Nicolas

Intuitionistic logic model theory and forcing
per: Fitting, Melvin Chris, 1942-
Publicat: (1969)

Abstract set theory
per: Fraenkel, Abraham, 1891-1965, mathématicien
Publicat: (1968)

The core model
per: Dodd, Tony, 1952-...., mathématicien
Publicat: (1982)

Axiomatic set theory
per: Suppes, Patrick, 1922-2014
Publicat: (1965)

Axiomatic set theory
per: Bernays, Paul, 1888-1977
Publicat: (1968)

Infinitary combinatorics and the axiom of determinateness
per: Kleinberg, Eugène M.

Basic set theory
per: Levy, Azriel
Publicat: (1979)

Models of ZF-Set Theory
per: Felgner, Ulrich, 1941-

Constructible sets with applications
per: Mostowski, Andrzej, 1913-1975
Publicat: (1969)

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

Et pourtant ils ne remplissent pas N
per: Lobry, Claude, 1943-...., auteur en mathémathiques
Publicat: (1989)

Axiomatic characterization of physical geometry
per: Schmidt, Heinz-Jürgen, 1948-

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

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

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

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

Initiation au raisonnement mathématique : logique et théorie des ensembles
per: Dupin, Jean-Claude, et al.
Publicat: (1993)

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

Set theory and logic
per: Fraenkel, Abraham Adolf, 1891-1965
Publicat: (1966)

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

Théorie des ensembles, logique, les entiers : bases du raisonnement mathématique, indices, familles indexées, relations d'ordre, d'équivalence, ensembles finis, infinis, dénombrables
per: Pichon, Jacques, 19..-...., mathématicien
Publicat: (1989)

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

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

Logic, computers, and sets
per: Wang, Hao, 1921-
Publicat: (1970)

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

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

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

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

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

© 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