Basic Proof Theory Image close
Basic Proof Theory by A.S. Troelstra
Basic Proof Theory by A.S. Troelstra
Show Hide Adult Content
Basic Proof Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Basic Proof Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$140.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$254.99
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Specification of Communication Protocols
$125.99
Algebraic Specification of Communication Protocols
Paperback / softback
Available - Usually ships in 3-4 weeks
Programs, Recursion and Unbounded Choice by Wim H. Hesselink
$124.99
Programs, Recursion and Unbounded Choice
by Wim H. Hesselink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models by T.H. Tse
$99.99
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Logic of Typed Feature Structures by Robert L. Carpenter
$124.99
The Logic of Typed Feature Structures
by Robert L. Carpenter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$140.99
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
$141.99
Lambda-calculus, Combinators and Functional Programming
by G. E. Revesz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Predicate Transformer Semantics by Ernest G. Manes
$148.99
Predicate Transformer Semantics
by Ernest G. Manes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages on Hardback by Flemming Nielson
$334.99
Two-Level Functional Languages
by Flemming Nielson ~ Hardback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi on Hardback by Roberto M. Amadio
$369.99
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Hardback
Available - Usually ships in 3-4 weeks
Action Semantics by Peter D. Mosses
$154.99
Action Semantics
by Peter D. Mosses ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Uncertain Reasoner's Companion by J.B. Paris
$130.99
The Uncertain Reasoner's Companion
by J.B. Paris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Rippling: Meta-Level Guidance for Mathematical Reasoning on Hardback by Alan Bundy
$253.99
Rippling: Meta-Level Guidance for Mathematical Reasoning
by Alan Bundy ~ Hardback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages by Flemming Nielson
$138.99
Two-Level Functional Languages
by Flemming Nielson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$168.99
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrency Verification by Willem-Paul de Roever
$224.99
Concurrency Verification
by Willem-Paul de Roever ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. 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.
Release date Australia
July 27th, 2000
Audience
  • Professional & Vocational
Edition
2nd Revised edition
Illustrations
Worked examples or Exercises; 3 Line drawings, unspecified
Pages
432
Dimensions
154x227x23
ISBN-13
9780521779111
Product ID
2113508

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by A.S. Troelstra

See all books by this author

Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$607.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$142.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation