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

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 $79.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.

You Can Find This Book In

Non-Fiction Philosophy Philosophy & Logic Mathematics Mathematical Foundation Mathematical Logic Probability & Statistics Science Science in General Philosophy of Science

Other Editions and Formats

Paperback

Published: 5th August 2008

View Product

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 of Science

Collins Classics - The Republic

Collins Classics

Prove It

A Scientific Guide for the Post-Truth Era

God, the Science, the Evidence

The Anxious Generation

How the Great Rewiring of Childhood Is Causing an Epidemic of Mental Illness

Creative Machines

AI, Art & Us

Meditations

The Philosophy Classic

The Poetics of Space

Penguin Classics

How to Invent Everything

Rebuild All of Civilization (with 96% fewer catastrophes this time)

The Metaphysics of Powerful Qualities

Powerful Categoricalism and the Laws of Nature

Philosophy of Plant Cognition

Interdisciplinary Perspectives

The Smartification of Everything

Critical Analyses of a Ubiquitous Reality across Social Sciences, Humanities, and the Arts

The Smartification of Everything

Critical Analyses of a Ubiquitous Reality across Social Sciences, Humanities, and the Arts

Life 3.0

Being Human in the Age of Artificial Intelligence

Godel, Escher, Bach

An Eternal Golden Braid

Stealing Fire

How Silicon Valley, The Navy Seals, And Maverick Scientists Are Revolutionizing The Way We Live And Work

Living on Earth

Life, Consciousness and the Making of the Natural World

Man-Made

How the bias of the past is being built into the future

The Philosophy of Science and Technology

Enlightenment Now

The Case for Reason, Science, Humanism, and Progress

The Return of the God Hypothesis

Three Scientific Discoveries Revealing the Mind Behind the Universe

The Greatest Show On Earth

The Evidence for Evolution

AI: Game On

How to decide who or what decides

Quantum History

A New Materialist Philosophy

The Future Loves You

How and Why We Should Abolish Death

This product is categorised by