
Mathematical Logic: Exercises and Solutions
Die ersten Kapitel beginnen mit Problemen aus unterstützenden Bereichen wie der Mengenlehre (Ultrafilterkonstruktionen), der Spieltheorie mit vollständiger Information (Strategien), Automaten und der Rekursionstheorie (Entscheidbarkeit, Kleene's Theoreme).