Master de philosophie Parcours Logique Cours de logique, et d ...
Cours de logique, et d'histoire et philosophie de la logique ... structure, via l'
arithmétisation de la syntaxe et la représentation de fonctions dans une théorie.
... Nous présentons les relations entre ces notions et des résultats (test de Vaught
, ... Pierre Wolper, Introduction à la calculabilité : Cours et exercices corrigés (
Broché, ...