- FR UMR7117 JL-JL-PB2-01
- Dossier
- 1930 - 1995
Fait partie de Fonds Jean Largeault
Courtès
Bouttevin
UP4 Toulouse
Philo de la logique + Intuitionnisme et théorie de la démonstration + Dreben, Kreisel, Skolem, Quine, Hintikka,
Dana Scott, Gôdel
Brouwer
Hilbert - Zenon & Cantor
et autres articles
articles encore : Haar, etc
B. Dreben, sur la complétude de la théorie de la quantification
article de George W. Gaffney
Jean Largeault