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 /

por Ladrière, Jean.
Publicado 1957

Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) /

por Gentzen, Gerhard.
Publicado 1955