
Mathematical Logic: Exercises and Solutions
Les premiers chapitres commencent par des problèmes issus de domaines connexes, tels que la théorie des ensembles (constructions ultrafiltres), la théorie des jeux à information complète (stratégies), les automates et la théorie de la récursion (décidabilité, théorèmes de Kleene).