, Anselme -Proslogion : Allocution sur l'existence de Dieu, Flammarion, Traduction, préface et notes de Bernard Pautrat, 1993.

M. R. , Holmes -Elementary Set Theory with a Universal Set, Cahiers du Centre de logique, vol.10, 1998.

R. Jensen--«, On the Consistency of a Slight( ?) Modification of Quine's NF », Synthese, vol.21, pp.278-291, 1969.

K. Lambert--free and . Logic, Selected Essays, p.76, 2002.

J. Vuillemin and -. Dieu, Anselme et les apparences de la raison, Collection Analyse et Raisons, vol.14, 1971.