Matematická logika: Cvičenia a riešenia

Pôvodný názov:

Mathematical Logic: Exercises and Solutions

Obsah knihy:

Úvodné kapitoly začínajú problémami z podporných oblastí, ako sú teória množín (konštrukcie ultrafiltrov), teória hier s úplnou informáciou (stratégie), automaty a teória rekurzie (rozhodnuteľnosť, Kleeneho vety).