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

£43.24

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: 42.67 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 31 days • 31 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 31 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (22 days, 71.0%)

Price range: £42 - £43

Price levels: 3 different prices over 31 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 > Computing & Internet > Computer Science > AI & Machine Learning
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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Logic in Computer Science: Modelling and Reasoning about Systems

How to Prove It: A Structured Approach

Logical Foundations of Proof Complexity (Perspectives in Logic)

Type Theory and Formal Proof: An Introduction

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

The Foundations of Analysis: A Straightforward Introduction: Book 1 Logic, Sets and Numbers

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

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

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

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

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

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Set Theory: A First Course (Cambridge Mathematical Textbooks)

A First Course in Mathematical Logic and Set Theory

Category Theory (Oxford Logic Guides): 52

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

Logic for Applications (Texts in Computer Science)

An Introduction to the Language of Mathematics

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

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