La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
D. Lacombe (1960)
Bulletin de la Société Mathématique de France
Similarity:
Displaying similar documents to “Théorèmes de non-décidabilité”
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:
Sur les ensembles définissables de nombres réels
Alfred Tarski (1931)
Fundamenta Mathematicae
Similarity:
Les opérations logiques et les ensembles projectifs
Casimir Kuratowski, Alfred Tarski (1931)
Fundamenta Mathematicae
Similarity:
Sur la notion de l'ordre dans la Théorie des Ensembles
Casimir Kuratowski (1921)
Fundamenta Mathematicae
Similarity:
Le but de cette note est de donner une autre (que celle de Hessenberg et Hartogs) définition de l'orde.
Des ensembles et de leurs axiomatiques : esquisse de quelques points de vue
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Notions élémentaires de théorie descriptive effective
Alain Louveau (1977)
Séminaire Choquet. Initiation à l'analyse
Similarity:
Quelques notions fondamentales de l'Analysis Situs au point de vue de l'Algèbre de la Logique
Miron Zarycki (1927)
Fundamenta Mathematicae
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...................