Collana «Collection de Logique Mathématique» di ANON in Universus | ||||
1 | 2.2: | Ladrière, Jean Gödel, Kurt (cred.) E. Nauwelaerts, Gauthier-Villars, | 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 | 1957 |