Free shipping on orders over $79 * - Limited time only - *T&Cs apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Mathematical Logic : Exercises and Solutions - Laszlo Csirmaz

Mathematical Logic

Exercises and Solutions

By: Laszlo Csirmaz, Zalán Gyenis

eText | 14 March 2022

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
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ïsse game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson's theory, Peano's axiom system, and Godel'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 Godel's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsMathematical FoundationMathematical Logic

More in Mathematical Logic

The Book of Infinity - Joel David Hamkins

eBOOK

The Book of Infinity

eBook

RRP $115.21

$92.99

19%
OFF
The Essential George Boole : Logic, Love and Legacy - Des MacHale

eBOOK

The Essential George Boole

Logic, Love and Legacy

eBook

RRP $23.38

$19.99

14%
OFF
Bounded Foundations - Jimmy Strobl

eBOOK

Bounded Foundations

eBook

$8.99

The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$3.29

Partial Truths : How Fractions Distort Our Thinking - James C. Zimring

eBOOK

Partial Truths

How Fractions Distort Our Thinking

eBook

RRP $38.39

$30.99

19%
OFF

This product is categorised by