Proof Analysis

Name: Proof Analysis
Brand: Cambridge University Press
SKU: 9781107417236
Price: 304.48 RON
Availability: InStock

A Contribution to Hilbert's Last Problem

Autor: Sara Negri, Jan von Plato

Limbă:

Legare: Carte broșată

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

304.48 lei

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

Informații despre carte

Autor

Sara Negri, Jan von Plato

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

278

EAN

9781107417236

ISBN

1107417236

Enbook ID

04767586

Editura

Cambridge University Press

Greutate

472

Dimensiuni

172 x 246 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Proof Analysis

A Contribution to Hilbert's Last Problem

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și