Choix d'un sujet lié
Algèbre abstraite Logique Mathématiques -- Fondements Mathématiques à rebours
Choix de relance de recherche
Les bibliothèques de la ville de Paris Les bibliothèques universitaires La BnF L'encyclopédie Wikipédia L'Encyclopædia Universalis La bibliothèque du film La médiathèque de la Philharmonie de Paris

Recherche simple :

  •    Sujet : Axiomatique
  • Aide
  • Eurêkoi Eurêkoi
Choix du tri des documents
Titre A-Z Titre Z-A Auteur A-Z Auteur Z-A Les plus récents Les moins récents
Sélectionner le nombre de résultat par colonne
25 résultats par colonne 50 résultats par colonne

Documents en rayon : 36

Voir tout les documents en rayons
Livre Introduction à la logique

par Leroux, Jean

Diderot

1998

  • Disponible - A partir du 25 août 2025 - 510.1 LER

Livre Théorie des ensembles

par Krivine, Jean-Louis (1939-....)

Cassini

1998

  • Disponible - A partir du 25 août 2025 - 511.1 KRI

Livre Kurt Gödel

par Wang, Hao

A. Colin

1990

  • Disponible - A partir du 25 août 2025 - 510.1 WAN

Livre Logiques classiques et non classiques : essai sur les fondements de la logique

par Costa, Newton C. A. da (1929-....)

Masson

1997

  • Disponible - A partir du 25 août 2025 - 510.1 COS

Livre Gödel

par Cassou-Noguès, Pierre (1971-....)

Belles lettres

2004 -

  • Disponible - A partir du 25 août 2025 - 510.1 CAS

Livre La logique ou L'art de raisonner

par Delmas-Rigoutsos, Yannis ; Lalement, René

le Pommier

2000 -

  • Disponible - A partir du 25 août 2025 - 510.1 DEL

Livre Le point aveugle : cours de logique. Tome 2 , Vers l'imperfection

par Girard, Jean-Yves (1947-....)

Hermann

2007 -

  • Disponible - A partir du 25 août 2025 - 510.1 GIR

Livre Introduction à la logique

par Tarski, Alfred (1901-1983)

J. Gabay

2008 -

  • Disponible - A partir du 25 août 2025 - 510.1TAR

Livre La logique, un aiguillon pour la pensée

par Delahaye, Jean-Paul (1952-....)

Belin-"Pour la science"

2012 -

  • Disponible - A partir du 25 août 2025 - 510.1 DEL

Livre Le dixième problème de Hilbert : son indécidabilité

par Matiâsevič, Ûrij Vladimirovič

Masson

1995

  • Disponible - A partir du 25 août 2025 - 510.1 MAT

Documents en ligne : 5

Voir tout les documents en ligne
Article La transformation des formes de la limite

Dans UrbanHub

par Retaillé, Denis

Journal of Urban Research

2011-03-11

Résultat de OpenEdition : Journals

Livre numérique Qu'est-ce qu'un système philosophique ?

par Bouveresse, Jacques

Collège de France

2013-04-04

Résultat de OpenEdition : Books

Article Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections

Dans Centre Bentham

par Formica, Giambattista

Revue d’études benthamiennes

2020-12-10

Résultat de OpenEdition : Journals

Article Le destin de Jean Cavaillès

Dans MONDE (LE)

MONDE (LE)

1982

  • Consultable à la Bpi

Article Définitions et exemples : prérequis pour l'apprentissage de l'algèbre moderne

Dans Institut de recherche sur l’enseignement des mathématiques (IREM)

par Durand-Guerrier, Viviane ; Hausberger, Thomas ; Spitalas, Christian

Annales de Didactique et de Sciences Cognitives

2023-09-18

Résultat de OpenEdition : Journals

Explorer les sujets liés :

Fondements des mathématiques, axiomatique, logique mathématique

510.1 - Fondements des mathématiques, axiomatique, logique mathématique

  • Type d'autorité
    • Indice de classement
Haut de page