Matematická logika: Cvičení a řešení (Laszlo Csirmaz)
Původní název:
Mathematical Logic: Exercises and Solutions
Obsah knihy:
Úvodní kapitoly začínají problémy z podpůrných oblastí, jako je teorie množin (konstrukce ultrafiltrů), teorie her s plnou informací (strategie), automaty a teorie rekurze (rozhodnutelnost, Kleenovy věty).
