Monographie
Remarques sur les fondements des mathématiques
Ludwig WITTGENSTEIN, Georg Henrik von WRIGHT
Gallimard - 1983
Monographie
Cours sur les fondements des mathématiques : Cambridge, 1939
Ludwig WITTGENSTEIN
Trans-Europ-Repress - 1995
Article
Quelques repères historiques sur la théorie des jeux de Leibniz à Von Neumann
Christian SCHMIDT
Dans Revue de Synthèse - 2006
Monographie
Logique
Bernard RUYER, Rush RHEES
Presses Universitaires de France - 1990
Monographie
Logique mathématique
Jean-François PABION
Hermann - 1976
Article
La pensée des ordres dans les traités sur la roulette de Pascal
Claude MERKER
Dans Mathématiciens français du XVIIe siècle. Descartes, Fermat, Pascal - 2008
Article
Some Topologies for Computations
Giuseppe LONGO
Dans Géométrie au XXe siècle, 1930-2000. Histoire et horizons - 2005
Article
Le paradigme du calcul
Pierre LÉVY
Dans D’une science à l’autre : des concepts nomades - 1987
Article
L'univers du calcul. Calculer, percevoir, penser
Pierre LÉVY
Dans Intelligence des mécanismes, mécanismes de l'intelligence - 1986
Monographie
Logique mathématique
[s.n.]
Armand Colin - 1971
Article
Le raisonnement stratégique décentralisé est-il possible ?
Francis KRAMARZ
Dans Les Limites de la rationalité - 1997
Article
La configuration (mécanique, géométrie, calcul) et ses bouleversements à la fin du XVIIe siècle. L’exemple de Leibniz
Stephen Cole KLEENE
Dans De Zénon d’Élée à Poincaré : recueil d’études en hommage à Roshdi Rashed - 2004
Article
De la connaissance au calcul : implications épistémologiques du cognitivisme
Claude IMBERT
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Monographie
Le Probable, le possible et le virtuel. Essai sur le rôle du non-actuel dans la pensée objective
Gilles-Gaston GRANGER
Odile Jacob - 1995
Article
Aristote et la « logique formelle moderne » : sur quelques paradoxes de l'interprétation de Łukasiewicz
Jean-Baptiste GOURINAT, Gertrude Elisabeth Margaret ANSCOMBE
Dans Philosophia Scientiae. Travaux d'histoire et de philosophie des sciences - 2011
