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

 

 

 

 

 

1er octobre 2009