Proof Analysis: A Contribution to Hilbert's Last Problem - Image 1

£86.29

Cambridge University Press Proof Analysis: A Contribution to Hilbert's Last Problem

Name: Proof Analysis: A Contribution to Hilbert's Last Problem
Brand: Cambridge University Press
Price: 86.29 GBP
Availability: InStock

Higher Education

It has never been this cheap. We have no record of a lower price.

£86 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 43 days · 43 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £86 (43 days, 100.0%)

Price range: £86 - £86

Price levels: 1 different prices over 43 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107008956
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 29 September 2011
Listed Since: 31 January 2011

Barcode

No barcode data available

Cambridge University Press Proof Analysis: A Contribution to Hilbert's Last Problem

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Mathematical Logic through Python

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Logical Foundations of Proof Complexity (Perspectives in Logic)

How to Prove It: A Structured Approach

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic: An Introduction (De Gruyter Textbook)

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Proof Theory and Logic Programming: Computation as Proof Search

Probabilistic Extensions of Various Logical Systems

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Proof Complexity (Encyclopedia of Mathematics and its Applications): 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Logic for Applications (Texts in Computer Science)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Displaying Modal Logic: 3 (Trends in Logic, 3)

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Proofs and Computations (Perspectives in Logic)

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles