Structural Proof Theory

By: Sara Negri, Jan Von Plato, Aarne Ranta

Write A Review

Hardcover | 24 August 2001

At a Glance

Hardcover
276 Pages

Dimensions(cm)
22.86 x 15.24 x 1.75

Hardcover

RRP $187.95

$166.75

11%OFF

or 4 interest-free payments of $41.69 with

or

Ships in 5 to 7 business days

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. The book contains a wealth of new results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Industry Reviews

"...The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory..." Aldo Antonelli, University of California, Irvine

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Paperback

RRP $27.99

$23.75

15%
OFF

Logic and Fixed-Domain Reasoning : Volume 2: Solutions to Selected Exercises - Ralph Gregory Taylor

$28.75

18%
OFF

Critical Thinking : The Basics - Stuart Hanscomb

$37.99

Conjectures and Refutations : The Growth of Scientific Knowledge

The Growth of Scientific Knowledge

Paperback

RRP $34.99

$29.75

15%
OFF

Critical Thinking Skills For Dummies

For Dummies

Paperback

RRP $32.95

$26.99

18%
OFF

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Paperback

RRP $26.99

$22.99

15%
OFF

The Stoic Habit

How to Own Your Choices-Even When It's Difficult

Hardcover

RRP $34.99

$17.50

50%
OFF

How Not to Be Wrong : The Power of Mathematical Thinking - Jordan Ellenberg

$134.75

10%
OFF

The Nature of Belief - Eric Schwitzgebel

$58.75

Logic and the Unknowability of God

Paradoxes of Apophaticism

Hardcover

RRP $190.00

$167.99

12%
OFF

Accommodationism in Mathematics : Reference, Knowledge, and Realism - Jeffrey W. Roland

$151.75

11%
OFF

Logic

Paperback

$373.75

Analogy and Exemplary Reasoning in Legal Discourse

Paperback

RRP $96.99

$86.99

10%
OFF

Metaphysics of Nature and Failure in Kant's Opus postumum

Paperback

RRP $59.99

$58.75

Logic-Based Therapy and Consultation

Theory and Applications

Paperback

RRP $59.99

$58.75

Introduction
From natural deduction to sequent calculus
Sequent calculus for institutionistic logic
Sequent calculus for classical logic
The quantifiers
Variants of sequent calculi
Structural proof analysis of axiomatic theories
Intermediate logical systems
Back to natural deduction
Conclusion: diversity and unity in structural proof theory
Simple type theory and categorical grammar
Proof theory and constructive type theory
A proof editor for sequent calculus
Table of Contents provided by Publisher. All Rights Reserved.

Structural Proof Theory

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Logic and Fixed-Domain Reasoning

Volume 2: Solutions to Selected Exercises

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Critical Thinking

The Basics

Bloomsbury Study Skills

Effective Analysis, Argument and Reflection

Conjectures and Refutations : The Growth of Scientific Knowledge

The Growth of Scientific Knowledge

Critical Thinking Skills For Dummies

For Dummies

Rationality

What It Is, Why It Seems Scarce, Why It Matters

The Stoic Habit

How to Own Your Choices-Even When It's Difficult

How Not to Be Wrong

The Power of Mathematical Thinking

Philosophy of Language

A Contemporary Introduction

Philosophy of Language

A Contemporary Introduction

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

The Nature of Belief

Aristotle's Organon in Old and New Logic

1800-1950

Logic and the Unknowability of God

Paradoxes of Apophaticism

Accommodationism in Mathematics

Reference, Knowledge, and Realism

Deleuze's Philosophy of Time and Logic

Kant, Bergson, and the Labyrinth of the Continuum

Logic

Analogy and Exemplary Reasoning in Legal Discourse

Metaphysics of Nature and Failure in Kant's Opus postumum

Logic-Based Therapy and Consultation

Theory and Applications

Unpopular Essays

Routledge Classics

The Architecture of Nothingness

An Explanation of the Objective Basis of Beauty in Architecture and the Arts

This product is categorised by