Название: Mathematical Logic: Exercises and Solutions Автор: Laszlo Csirmaz, Zalan Gyenis Издательство: Springer Год: 2022 Формат: PDF Страниц: 322 Размер: 10 Mb Язык: English
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 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.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
R-CALCULUS: A Logic of Belief Revision Название: R-CALCULUS: A Logic of Belief Revision Автор: Wei Li, Yuefei Sui Издательство: Springer Год: 2021 Формат: true pdf/epub Страниц: 210...
Concise Introduction to Logic and Set Theory Название: Concise Introduction to Logic and Set Theory Автор: Iqbal H. Jebril, Hemen Dutta, and Ilwoo Cho Издательство: CRC Press Год: 2022 Формат:...
Fundamentals of Advanced Mathematics Название: Fundamentals of Advanced Mathematics Автор: Alberto D. Yazon Издательство: Arcler Press Год: 2020 Формат: PDF Страниц: 260 Размер: 10,9 МБ...
Philosophical and Mathematical Logic Название: Philosophical and Mathematical Logic Автор: Harrie de Swart Издательство: Springer Год: 2018 Страниц: 539 Формат: PDF Размер: 10 Mb Язык:...
A Friendly Introduction to Mathematical Logic Название: A Friendly Introduction to Mathematical Logic Автор: Christopher C. Leary Издательство: The University of Oslo Год: 2015 Формат: pdf...
Навигация
Вход на сайт
Реклама
Mathematical Logic: Exercises and Solutions 
