Mathematical Logic av Laszlo Csirmaz, Zalan Gyenis

589,-

Kjøp

<div><p>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¿¿ame; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson''s theory, Peano''s axiom system, and G¿del''s incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.</p>Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style and t