Könyv Proof Analysis Sara Negri

Proof Analysis

A Contribution to Hilbert's Last Problem

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 9-15 napon belül
21 071 Ft
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presen...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
278
EAN
9781107417236
ISBN
1107417236
Enbook ID
04767586
Súly
472
Méretek
172 x 246 x 18

Teljes leírás

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.

Érdekelheti

20 385 Ft

Supplying War

Martin Van Creveld
15 211 Ft
49 445 Ft
14 360 Ft
14 189 Ft

Uav Pilot Logbook

Michael L. Rampey
5 375 Ft
11 943 Ft

The Stories of Anton Chekhov

Anton Pavlovich Chekhov
14 189 Ft

Evocating the Gods

CHRISTOPH PLAISANCE
8 204 Ft
14 145 Ft

Hunger

Lola Haskins
5 985 Ft

Egyptian Book of the Dead

Arcturus Publishing
3 582 Ft
3 726 Ft
12 665 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták