Displaying similar documents to “La théorie des fonctions récursives et ses applications. (Exposé d'information générale)”

La prédicativité

G. Kreisel (1960)

Bulletin de la Société Mathématique de France

Similarity:

Algébre des ensembles

Wacław Sierpiński

Similarity:

TABLE DES MATIÈRES CHAPITRE I. ALGEBRE DES PROPOSITIONS § 1. L'équivalence des propositions................ 1 § 2. L'implication................ 3 § 3. Produit logique et somme logique................ 7 § 4. Négation................ 11 § 5. Fonctions propositionnelles................ 24 § 6. Les quantificateurs................ 30 CHAPITRE II. ENSEMBLES, ÉLEMENTS, SOUS-ENSEMBLES § 7. Ensembles et leurs éléments................ 35 § 8, Egalité et inégalité des ensembles...................