Matematikai logika: Gyakorlatok és megoldások

Eredeti címe:

Mathematical Logic: Exercises and Solutions

Könyv tartalma:

A kezdeti fejezetek olyan támogató területek problémáival kezdődnek, mint a halmazelmélet (ultraszűrő konstrukciók), teljes információjú játékelmélet (stratégiák), automaták és rekurzióelmélet (eldönthetőség, Kleene-tételek).