What Is Mathematical Logic?
- Publisher's listprice GBP 25.00
-
11 943 Ft (11 375 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 1 194 Ft off)
- Discounted price 10 749 Ft (10 238 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
11 943 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher OUP Oxford
- Date of Publication 11 December 2025
- ISBN 9780198930860
- Binding Hardback
- No. of pages160 pages
- Size 234x156 mm
- Language English
- Illustrations 30 b/w figures 700
Categories
Short description:
Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians.
MoreLong description:
Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians.
This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics.
Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.
Table of Contents:
Historical survey
The completeness of first-order logic
Model theory
Turing machines
Gödel's incompleteness theorems
Computability in practice
Set theory
Beyond first-order logic
Further topics
