Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.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 topics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including G�del's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume. 328 pp. Englisch. Seller Inventory # 9783030790097

Contact seller

Buy New

US$ 41.30

Convert currency

Shipping: US$ 26.13

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Mathematical Logic : Exercises and Solutions

Csirmaz, Laszlo; Gyenis, Zalan

Published by Springer, 2022

ISBN 10: 3030790096 ISBN 13: 9783030790097

Used Hardcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Condition: As New. Unread book in perfect condition. Seller Inventory # 43109361

Contact seller

Buy Used

US$ 49.83

Convert currency

Shipping: US$ 19.62

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Mathematical Logic : Exercises and Solutions

Zal�n Gyenis

Published by Springer International Publishing, 2022

ISBN 10: 3030790096 ISBN 13: 9783030790097

New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style andtopics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including G�del's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume. Seller Inventory # 9783030790097

Contact seller