Proof Analysis

Name: Proof Analysis
Brand: Cambridge University Press
SKU: 9781107417236
Price: 1277 CZK
Availability: InStock

A Contribution to Hilbert's Last Problem

Autor: Sara Negri, Jan von Plato

Jazyk:

Vazba: Brožovaná

Vydavatel: Cambridge University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

1 277 Kč

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

Informace o knize

Autor

Sara Negri, Jan von Plato

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

278

EAN

9781107417236

ISBN

1107417236

Enbook ID

04767586

Vydavatel

Cambridge University Press

Hmotnost

472

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Proof Analysis

A Contribution to Hilbert's Last Problem

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také