Mathematical Logic: Exercises and Solutions
fejezet - Speciális készletrendszerek. - fejezet - Játékok és szavazás.
- fejezet - Formális nyelvek és automaták. - fejezet - Rekurzióelmélet. - fejezet - Állításszámítás.
- 6.
fejezet - Elsőfokú logika. - fejezet - Alapvető tételek.
- 8. fejezet - Elemi ekvivalencia. - 9.
fejezet - Ultraproduktumok. - fejezet - Aritmetika. - fejezet - Válogatott alkalmazások.
- fejezet - Megoldások.
