Ladrière, Jean 1921-2007
Les limitations internes des formalismes : étude sur la signification du théoreme de Gödel et des théoremes apparentés dans la théorie des fondements des mathématiques
- Paris : Gauthier-Villars, 1957.
- 714 páginas
- Collection de logique mathématique. Serie B ; 2 .