Mathematical Logic: Exercises and Solutions
Rozdział 1 - Systemy zestawów specjalnych. - Rozdział 2 - Gry i głosowanie.
- Rozdział 3 - Języki formalne i automaty. - Rozdział 4 - Teoria rekursji. - Rozdział 5 - Rachunek zdań.
- Rozdział 6 - Logika pierwszego rzędu. - Rozdział 7 - Podstawowe twierdzenia.
- Rozdział 8 - Równoważność elementarna. - Rozdział 9 - Ultraprodukty. - Rozdział 10 - Arytmetyka.
- Rozdział 11 - Wybrane zastosowania. - Rozdział 12 - Rozwiązania.
