Mathematical Logic: Exercises and Solutions
Kapitola 1 - Systémy speciálních sad. - Kapitola 2 - Hry a hlasování.
- Kapitola 3 - Formální jazyky a automaty. - Kapitola 4 - Teorie rekurze. - Kapitola 5 - Výroková kalkulačka.
- Kapitola 6 - Logika prvního řádu. - Kapitola 7 - Základní věty.
- Kapitola 8 - Elementární ekvivalence. - Kapitola 9 - Ultraprodukty. - Kapitola 10 - Aritmetika.
- Kapitola 11 - Vybrané aplikace. - Kapitola 12 - Řešení.
