Logika matematyczna: Ćwiczenia i rozwiązania

Oryginalny tytuł:

Mathematical Logic: Exercises and Solutions

Zawartość książki:

Początkowe rozdziały zaczynają się od problemów z dziedzin pomocniczych, takich jak teoria zbiorów (konstrukcje ultrafiltrów), teoria gier z pełną informacją (strategie), automaty i teoria rekurencji (rozstrzygalność, twierdzenia Kleene'a).