2017 Bibliothèque Tangente. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
axiomatique formelle
Il y a 25 résultats avec cette recherche.
-
-
2016 Tangente Hors-série. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
-
-
2015 Repères-IREM. N° 100. p. 25-47. Les définitions de nom et les autres.
Auteur : Neuwirth Stefan
-
2017 Bibliothèque Tangente. N° 61. La tentative de Zermelo pour éliminer les paradoxes. p. 128-131.
Auteur : Justens Daniel
-
2017 Bibliothèque Tangente. N° 61. Kurt Gödel et l’indécidabilité. p. 70-73.
Auteur : Lehning Hervé
-
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
-
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
Auteur : Tollu Christophe
-
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
Auteur : Tollu Christophe
-
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
-
2017 Bibliothèque Tangente. N° 61. Aux sources de la topologie. p. 140-143.
Auteur : Hauchecorne Bertrand
-
2004 Bibliothèque Tangente. N° 15. Les logiques non classiques. p. 78-79.
Auteur : Delerue Nicolas
-
Auteur : Hauchecorne Bertrand
-
2017 Bibliothèque Tangente. N° 61. L’axiomatisation du hasard. p. 136-139.
Auteur : Lehning Hervé
-
2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
Auteur : Bouchon-Meunier Bernadette
-
2017 Bibliothèque Tangente. N° 61. Mais que sont les axiomes ? p. 122-126.
Auteur : Justens Daniel
-
2016 Tangente Hors-série. N° 61. p. 50-51. L’axiome du choix.
Auteur : Lehning Hervé
-
2017 Bibliothèque Tangente. N° 61. L’axiome du choix. p. 132-134.
Auteur : Lehning Hervé
-
2004 Bibliothèque Tangente. N° 15. La logique floue. p. 72-76.
Auteur : Bouchon-Meunier Bernadette
-
2016 Tangente Hors-série. N° 61. p. 42-44. Mais que sont les axiomes ?
Auteur : Justens Daniel
-
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.