Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

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- Frass Game; Ultraproducts; And Examples For Axiomatizability And Non-axiomatizability.