Volume 10: La formalisation
Published winter 1969, Paris. ISSN 00-49343-xxxx
| Article 1 | Jacques Brunschwig: La proposition particulière chez Aristote | [HTML] | [PDF] | [SYN] | |
| Article 2 | George Boole: L’analyse mathématique de la logique | [HTML] | [PDF] | [SYN] | |
| Article 3 | Georg Cantor: Fondements d’une théorie générale des ensembles | [HTML] | [PDF] | [SYN] | |
| Article 4 | Bertrand Russell: La théorie des types logiques | [HTML] | [PDF] | [SYN] | |
| Article 5 | Kurt Gödel: La logique mathématique de Russell | [HTML] | [PDF] | [SYN] | |
| Article 6 | Jean Ladrière: Le théorème de Löwenheim-Skolem | [HTML] | [PDF] | [SYN] | |
| Article 7 | Robert Blanché: Sur le système des connecteurs interpropositionnels | [HTML] | [PDF] | [SYN] | |
| Article 8 | Alain Badiou: Marque et manque: à propos du zéro | [HTML] | [PDF] | [SYN] | [TRANS] |
| Article 9 | Jacques Bouveresse: Philosophie des mathématiques et thérapeutique d’une maladie philosophique: Wittgenstein et la critique de l’apparence ‘ontologique’ dans les mathématiques | [HTML] | [PDF] | [SYN] |