Mathematical Logic

Mathematical Logic

Exercises and Solutions

Versandkostenfrei!
Versandfertig in 6-10 Tagen
49,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
25 °P sammeln!
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene's theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht- Fraïssé game; ultraproducts; and examples for axiomatizability an...