Liste des citations dans Numdam pour : Une démonstration du théorème de complétude de Godel

Publications du Département de mathématiques (Lyon), Tome 3 (1966), p. 2-8 / Harvested from Numdam

Pabion, J. F.

Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel
Publications du Département de mathématiques (Lyon), Tome 4 (1967), p. 15-31 / Harvested from Numdam

Cusin, R.

Une démonstration concernant le théorème d'interpolation généralisé aux ensembles d'énoncés
Publications du Département de mathématiques (Lyon), Tome 3 (1966), p. 62-70 / Harvested from Numdam