Get Free Shipping on orders over $89
Structural Proof Theory - Sara Negri

Structural Proof Theory

By: Sara Negri, Jan von Plato, Aarne Ranta

Paperback | 5 August 2008

At a Glance

Paperback


RRP $83.95

$77.75

or 4 interest-free payments of $19.44 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 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

Other Editions and Formats

Hardcover

Published: 24th August 2001

More in Philosophy of Science

Big Sky : When the Emu Left the Earth - Bruce Pascoe

RRP $34.99

$28.75

18%
OFF
The Demon-Haunted World : Science as a Candle in the Dark - Carl Sagan
Godel, Escher, Bach : An Eternal Golden Braid - Douglas R. Hofstadter

RRP $39.99

$31.75

21%
OFF
Meditations : The Philosophy Classic - Marcus Aurelius

RRP $24.95

$21.75

13%
OFF
The Poetics of Space : Penguin Classics - Gaston Bachelard

RRP $32.99

$23.75

28%
OFF
The Structure of Scientific Revolutions : 50th Anniversary Edition - Thomas S. Kuhn
Philosophy of Mathematics after Wittgenstein - Sorin  Bangu

RRP $189.95

$167.99

12%
OFF
Philosophy of Mathematics after Wittgenstein - Sorin  Bangu
Quantum 2.0 : The Past, Present, and Future of Quantum Physics - Paul Davies
Traversal - Maria Popova

Hardcover

$55.75

Quantum History : A New Materialist Philosophy - Slavoj Žižek
The Shape of Things Unseen : A New Science of Imagination - Adam Zeman
The Shortest History of Reality - Geraint F. Lewis

RRP $27.99

$23.75

15%
OFF
The Greatest Show On Earth : The Evidence for Evolution - Richard Dawkins
I Am a Strange Loop - Douglas Hofstadter

RRP $34.99

$28.75

18%
OFF
Prove It : A Scientific Guide for the Post-Truth Era - Elizabeth Finkel
Collins Classics - The Republic : Collins Classics - Plato