ID - 28981885 TI - Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés AU - Cori, René AU - Lascar, Daniel AU - Krivine, Jean-Louis PY - 1993 SN - 12434264 SN - 2225840792 2225840806 2225841950 9782225840791 9782225841958 9782225840807 PB - Paris : Masson, DB - UniCat KW - AA / International- internationaal KW - 50 KW - Algemeenheden. Geschiedenis en filosofie van de wetenschappen. KW - 3822 KW - Gödel's theorem. KW - Gödel, Kurt Friedrich, KW - Logique mathématique KW - Logic, Symbolic and mathematical KW - Logique symbolique et mathématique KW - --Logique mathématique KW - --Logic, Symbolic and mathematical KW - --Gödel's theorem. KW - Algemeenheden. Geschiedenis en filosofie van de wetenschappen KW - Calcul des prédicats KW - Predicate calculus KW - Boole, Algèbre de KW - Algebra, Boolean KW - Calcul des propositions KW - Propositional calculus KW - Fonctions récursives KW - Recursive functions. KW - Gödel, Théorème de KW - Gödel's theorem. KW - Théorie des ensembles KW - Set theory. KW - Théorie des modèles KW - Model theory. KW - Décidabilité (logique mathématique) KW - Godel's theorem KW - Logique mathématique KW - Calcul des prédicats KW - Boole, Algèbre de KW - Fonctions récursives KW - Gödel, Théorème de KW - Théorie des ensembles KW - Théorie des modèles UR - https://www.unicat.be/uniCat?func=search&query=sysid:28981885 AB - ER -