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

£46.55

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

Name: Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Brand: Cambridge University Press
Price: 46.55 GBP
Availability: InStock

Mathematical Logic

This is the usual price. Wait for it to drop, or tell us your number.

£47 today · usual range £43–£47 · best ever £43

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 69 days · 69 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £46 (50 days, 72.5%)

Price range: £43 - £47

Price levels: 4 different prices over 69 days

Description

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Key Features

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

Product_Type: ABIS_BOOK

Brand: Cambridge University Press

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521779111
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 12 January 2008
Listed Since: 04 January 2007

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Mathematical Logic through Python

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Logic for Computer Science and Artificial Intelligence

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic for Computer Scientists (Modern Birkhäuser Classics)

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)

É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)

Logic and Structure (Universitext)

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

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

A First Journey through Logic (Student Mathematical Library)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Simple Formal Logic: With Common-Sense Symbolic Techniques

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)