Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Logique mathématique --- Logic, Symbolic and mathematical --- Fonctions récursives --- Recursive functions. --- Gödel, Théorème de --- Gödel's theorem. --- Théorie des ensembles --- Set theory. --- Théorie des modèles --- Model theory. --- Calcul des prédicats --- Predicate calculus --- Boole, Algèbre de --- Algebra, Boolean --- Calcul des propositions --- Propositional calculus --- Logique mathématique --- Fonctions récursives --- Gödel, Théorème de --- Théorie des ensembles --- Théorie des modèles --- Calcul des prédicats --- Boole, Algèbre de