Share
Mathematical Logic
Heinz-Dieter Ebbinghaus
(Author)
·
Jörg Flum
(Author)
·
Wolfgang Thomas
(Author)
·
Springer
· Hardcover
Mathematical Logic - Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang
£ 49.49
£ 54.99
You save: £ 5.50
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Tuesday, June 25 and
Wednesday, June 26.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Mathematical Logic"
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.
