The Axiom of Constructibility: A Guide for the Mathematician :: SCD d'Orléans

The Axiom of Constructibility: A Guide for the Mathematician

The Axiom of Constructibility: A Guide for the Mathematician

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Devlin, Keith J., 1947-
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in mathematics 617
Pynciau:	Logique symbolique et mathématique Mathématiques Axiome de la constructibilité
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• The axiom of constructibility, a guide for the mathematician, Keith J. Devlin, 1977, Berlin, Springer, 1 vol. (VIII, 95 p.), Lecture notes in mathematics, 0-387-08520-3 • The Axiom of Constructibility, Texte imprimé, 9783662204320

Eitemau Tebyg

The axiom of constructibility : a guide for the mathematician
gan: Devlin, Keith J., 1947-
Cyhoeddwyd: (1977)

Aspects of constructibility
gan: Devlin, Keith J., 1947-
Cyhoeddwyd: (1973)

Aspects of constructibility
gan: Devlin, Keith J., 1947-

Axiom of choice
gan: Herrlich, Horst, 1937-2015

The Souslin problem
gan: Devlin, Keith J., 1947-, et al.

Constructibility and mathematical existence
gan: Chihara, Charles S., 1932-
Cyhoeddwyd: (1990)

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

The axiomatic method : with special reference to geometry and physics : proceedings of an International Symposium [on the Axiomatic Method with Special Reference to Geometry and Physics], held at the University of California, Berkeley, December 26, 1957-January 4, 1958
Cyhoeddwyd: (1959)

Axiom of choice
gan: Herrlich, Horst, 1937-2015
Cyhoeddwyd: (2006)

Equivalents of the axiom of choice
gan: Rubin, Herman, 1926-2018, et al.
Cyhoeddwyd: (1963)

Le Plaisir des axiomes : de Gracián à Salvayre
gan: Bikialo, Stéphane
Cyhoeddwyd: (2024)

Logic for mathematicians
gan: Rosser, John Barkley, 1907-1989
Cyhoeddwyd: (1953)

Notions communes et axiomes dans l’Antiquité tardive
gan: De Risi, Vincenzo
Cyhoeddwyd: (2025)

Axioms and hulls
gan: Knuth, Donald Ervin, 1938-

Constructible sets with applications
gan: Mostowski, Andrzej, 1913-1975
Cyhoeddwyd: (1969)

Les structures de base d'une théorie physique
gan: Ludwig, Günther, 1918-2007
Cyhoeddwyd: (1990)

Cinq conférences sur l'indécidabilité
gan: Bouleau, Nicolas, 1945-, et al.
Cyhoeddwyd: (1983)

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

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

Sueños, utopías y proyectos autónomos
gan: Elizalde, Antonio
Cyhoeddwyd: (2014)

L’intériorisation des énoncés génériques (Laurent Mauvignier, Olivia Rosenthal, Éric Laurrent)
gan: Jollin-Bertocchi, Sophie
Cyhoeddwyd: (2023)

Introduction à la logique
gan: Rivenc, François, 1945-
Cyhoeddwyd: (1989)

Introduction à la logique
gan: Delessert, André, 1923-2010
Cyhoeddwyd: (1988)

A mathematical introduction to logic
gan: Enderton, Herbert, 1936-2010
Cyhoeddwyd: (1972)

Solvable cases of the decision problem
gan: Ackermann, Wilhelm, 1896-1962
Cyhoeddwyd: (1954)

Eine Termlogik mit Auswahloperator
gan: Hermes, Hans, 1912-2003

Triangular Norms
gan: Klement, Erich Peter, et al.

Notes on logic
gan: Lyndon, Roger Conant, 1917-1988
Cyhoeddwyd: (1966)

A concise introduction to mathematical logic
gan: Rautenberg, Wolfgang, 1936-

Méthodes de logique
gan: Quine, Willard Van Orman, 1908-2000, philosophe
Cyhoeddwyd: (1973)

Logique sans peine
gan: Carroll, Lewis, 1832-1898
Cyhoeddwyd: (1966)

Éléments de mathématiques modernes
gan: Richardson, Moses, 1911-1968
Cyhoeddwyd: (1968)

An introduction to formal logic
gan: Smith, Peter J, 1944-
Cyhoeddwyd: (2003)

Introduction à la logique
gan: Tarski, Alfred, 1901-1983
Cyhoeddwyd: (1971)

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

Modal logics
gan: Feys, Robert, 1889-1961
Cyhoeddwyd: (1965)

Introduction à la logique mathématique
gan: Novikov, Petr Sergeevich, 1901-1975
Cyhoeddwyd: (1964)

Logique mathématique
gan: Kleene, Stephen Cole, 1909-1994
Cyhoeddwyd: (1971)

Contemporary philosophy : a survey = = La philosophie contemporaine : chroniques Logic and foundations of mathematics, = Logique et fondements des mathématiques
Cyhoeddwyd: (1968)

Introduction à la logique
gan: Leroux, Jean, 1948-
Cyhoeddwyd: (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