Gentzen, Recherches sur la déduction logique (Untersuchungen über das logische Schliessen) (1955), vertaling en commentaar door Robert Feys en Jean Ladrière
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)
La science, le monde et la foi (1972)
Vie sociale et destinée (1973)
Les enjeux de la rationalité. Le défi de la science et de la technique aux cultures (1977)
L'articulation du sens : 3 tomes: 1. Discours scientifique et parole de la foi; 2. Les langages de la foi; 3. Sens et vérité en théologie, (1970/1984/2004)
L'éthique dans l'univers de la rationalité (1997)
La foi chrétienne et le Destin de la raison (2004)