Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof Analysis

Name: Proof Analysis
Brand: Cambridge University Press
SKU: 04385531
Price: 50799 HUF
Availability: InStock
Author: Sara Negri
ISBN: 9781107008953

Sara Negri

Language

English

Book Hardback

Libristo code: 04385531

Publishers Cambridge University Press, September 2011

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

Libristo code: 04385531

347 b

50 799 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Span-Wisdom to Prosper: Principles That Govern Success Yader Simpson

Paperback

5 380 Ft

Histoire de Fenelon, Archeveque de Cambrai. T. 4 De Bausset-L-F

Paperback

14 143 Ft

Problemas Rubio, n 1A Rubio Silvestre

Paperback

513 Ft

Stoff- und Motivgeschichte der deutschen Literatur Franz Anselm Schmitt

Hardback

45 817 Ft

Les Deux Etoiles Anajmatane OUVRAGE EN ARABE GHORAYEB Book

Paperback

3 503 Ft

Schizoid Sierra i Fabra

Paperback

5 847 Ft

Cómo salir del armario y no morir en el intento Fernández Ruiz

Paperback

6 494 Ft

München Mord - Damit ihr nachts ruhig schlafen könnt Stephan Massimo

DVD

6 595 Ft

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.