Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparebtés dans la théorie des fondements des mathématiques - Ladrière, Jean, 1921-2007 (Collection de logique mathématique. monographiers réunies ;, 1957)