Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.
- Louvain: E. Nauwelaerts, 1957.
- 715 p.: 25 cm.
- Collection de logique mathématique, sér. B, 2. .
- Collection de logique mathématique : sér. B 2. .