Théorèmes de non-décidabilité
Daniel Lacombe (1962-1964)
Séminaire Bourbaki
Similarity:
Daniel Lacombe (1962-1964)
Séminaire Bourbaki
Similarity:
G. Kreisel (1960)
Bulletin de la Société Mathématique de France
Similarity:
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Alfred Tarski (1931)
Fundamenta Mathematicae
Similarity:
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...................
Alain Louveau (1977)
Séminaire Choquet. Initiation à l'analyse
Similarity:
Hermann Weyl (1981)
Mathématiques et Sciences Humaines
Similarity:
Casimir Kuratowski, T. Posament (1934)
Fundamenta Mathematicae
Similarity: