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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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...................