Interdidactique de l'enseignement des mathématiques dans trois ...

... Math., 36 (1949), p. 143-164. [48] J. Rosser, Simplified independence proofs (Boolean valued models of set theory), Academic Press, 1969. [49] P. Samuel ...