Mots-clés – Auteurs

logique symbolique

Il y a 13 résultats pour cette recherche

2022 Mathématice. N° 83. La logique : histoire et enseignement.
Auteurs : Ernoult Alice ; Ycart Bernard
2020 Histoires de Mathématiques. Logique. De l’autre côté du miroir.
Auteur : Ycart Bernard
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2001 Fondements des mathématiques. T. 2.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
2001 La revue des livres pour enfants. N° 199-200. p. 51-143. Dossier : « Lire pour compter, compter pour lire… ».
Auteur : Ballanger Françoise. Dir.
2001 Fondements des mathématiques. T. 1.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
2000 Gödel, une révolution en Mathématiques.
Auteur : Delessert André
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
1995 Logique, informatique et paradoxes.
Auteur : Delahaye Jean-Paul
1981 Fragments d’histoire des mathématiques. T. 1. Histoire des notations de la théorie des ensembles. p. 159-168.
Auteur : Knott Roger
1981 Structure et connaissance scientifique.
Auteur : Stahl Gérold
1981 Fragments d’histoire des mathématiques. T. 1.
Auteurs : Ovaert Jean-Louis. Préf. ; Reisz Daniel. Préf.
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred