1. Blanqui, F., Dowek, G., Grienenberger, É., Hondet, G., Thiré, F.: Some axioms for mathematics. In: Kobayashi, N. (ed.) Formal Structures for Computation and Deduction, vol. 195, pp. 20:1–20:19. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
2. Lecture Notes in Computer Science;D Cousineau,2007
3. Dowek, G.: On the definition of the classical connectives and quantifiers. In: Haeusler, E.H., de Campos Sanz, W., Lopes, B. (eds.) Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications (2015)
4. Dowek, G., Hardin, T., Kirchner, C.: Theorem proving modulo. J. Autom. Reason. 31, 33–72 (2003). https://doi.org/10.1023/A:1027357912519
5. Dowek, G., Thiré, F.: The universality of mathematical truth jeopardized by the development of computerized proof systems. In: Arana, A., Pataut, F. (eds.) Proofs, To be published