Cahiers du centre de logique, vol. 4

(épuisé / out of print)

Références

La théorie des ensembles de Quine (Colloque NF, Louvain-la-Neuve, 1981)
volume 4 des Cahiers du centre de logique, Cabay, Louvain-la-Neuve (Belgique), 1982, 76 pp.
ISBN 2-87077-138-X

Table des matières

[PDF]	[Préliminaires]
Boffa, M.	Algèbres de Boole atomiques et modèles de la théorie des types	1-5
Pétry, A.	Une caractérisation algébrique des structures satisfaisant les mêmes sentences stratifiées	7-16
Crabbé, M.	À propos de deux puissance alpha	17-22
Oswald, U.	A decision method for the existential theorems of NF2	23-43
Hinnion, R.	NF et l'axiome d'universalité	45-59
Forster, T. E.	Axiomatising set theory with a universal set	61-76
	17 l 16 l 15 l 14 l 13 l 12 l 11 l 10 l 9 l 8 l 7 l 6 l 5 l 3 l 2 l 1

23 octobre 2015