Mathematical Logic: Exercises and Solutions
Kapitola 1 - Systémy špeciálnych súprav. - Kapitola 2 - Hry a hlasovanie.
- Kapitola 3 - Formálne jazyky a automaty. - Kapitola 4 - Teória rekurzie. - Kapitola 5 - Propozičný kalkul.
- Kapitola 6 - Logika prvého rádu. - Kapitola 7 - Základné teorémy.
- Kapitola 8 - Elementárna ekvivalencia. - Kapitola 9 - Ultraprodukty. - Kapitola 10 - Aritmetika.
- Kapitola 11 - Vybrané aplikácie. - Kapitola 12 - Riešenia.
