Książka Proof Analysis Sara Negri

Proof Analysis

A Contribution to Hilbert's Last Problem

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
234.56
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presen...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
strony
278
EAN
9781107417236
ISBN
1107417236
Enbook ID
04767586
Waga
472
Wymiary
172 x 246 x 18

Pełny opis

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.

Możesz być zainteresowany

220.64

Supplying War

Martin Van Creveld
169.32
555.12
155.30
157.35

Uav Pilot Logbook

Michael L. Rampey
60.17
129.20

The Stories of Anton Chekhov

Anton Pavlovich Chekhov
157.35

Evocating the Gods

CHRISTOPH PLAISANCE
90.55
155.30

Hunger

Lola Haskins
64.94

Egyptian Book of the Dead

Arcturus Publishing
40.11
41.47
137.19

Klienci, którzy kupili tę książkę, kupili również

144.79

Povídky, které pomáhají

Michaela Klevisová
7.97
122.88
6.32

Automarkt China

Thomas Trares
81.39