What Is Mathematical Logic?
-
10% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár GBP 25.00
-
11 943 Ft (11 375 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 10% (cc. 1 194 Ft off)
- Kedvezményes ár 10 749 Ft (10 238 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
11 943 Ft
Beszerezhetőség
Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó OUP Oxford
- Megjelenés dátuma 2025. december 11.
- ISBN 9780198930860
- Kötéstípus Keménykötés
- Terjedelem160 oldal
- Méret 234x156 mm
- Nyelv angol
- Illusztrációk 30 b/w figures 700
Kategóriák
Rövid leírás:
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.
TöbbHosszú leírás:
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.
Tartalomjegyzék:
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
