☰

Structural Proof Theory

R 2,122

or 4 x payments of R530.50 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.

Structural Proof Theory

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Country USA
Brand Cambridge University Press
Manufacturer Cambridge University Press
Binding Paperback
ReleaseDate 2008-08-21
UnitCount 1
EANs 9780521068420

You might also like...

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Philosophical Logic (Princeton Foundations of Contemporary Philosophy)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Proof Theory: Second Edition (Dover Books on Mathematics)

Naive Set Theory

Computation, Proof, Machine: Mathematics Enters a New Age

Type Theory and Formal Proof: An Introduction

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)