2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
logique symbolique
Il y a 13 résultats avec cette recherche.
-
-
2022 Mathématice. N° 83. La logique : histoire et enseignement.
Auteurs : Ernoult Alice ; Ycart Bernard
-
1995 Logique, informatique et paradoxes.
Auteur : Delahaye Jean-Paul
-
2020 Histoires de MathĂ©matiques. Logique. De l’autre cĂŽtĂ© du miroir.
Auteur : Ycart Bernard
-
1981 Fragments d’histoire des mathĂ©matiques. T. 1.
Auteurs : Ovaert Jean-Louis. Préf. ; Reisz Daniel. Préf.
-
2000 Gödel, une révolution en Mathématiques.
Auteur : Delessert André
-
2001 Fondements des mathématiques. T. 2.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume EugÚne. Trad. ; Guillaume Marcel. Trad.
-
2001 Fondements des mathématiques. T. 1.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume EugÚne. Trad. ; Guillaume Marcel. Trad.
-
1981 Structure et connaissance scientifique.
Auteur : Stahl GĂ©rold
-
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
-
Auteur : Knott Roger
-
Auteur : Ballanger Françoise. Dir.