Proof Analysis

Name: Proof Analysis
Brand: Cambridge University Press
SKU: 9781107417236
Price: 52.79 EUR
Availability: InStock

A Contribution to Hilbert's Last Problem

Autor: Sara Negri, Jan von Plato

Jazyk:

Väzba: Brožovaná

Vydavateľ: Cambridge University Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

52.79 €

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presen...

Informácie o knihe

Autor

Sara Negri, Jan von Plato

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

278

EAN

9781107417236

ISBN

1107417236

Enbook ID

04767586

Vydavateľ

Cambridge University Press

Hmotnosť

472

Rozmery

172 x 246 x 18

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof Analysis

A Contribution to Hilbert's Last Problem

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež