Structural Proof Theory
ISBN-13:
9780521068420
ISBN-10:
0521068428
Edition:
1
Author:
Sara Negri, Jan von Plato
Publication date:
2008
Publisher:
Cambridge University Press
Format:
Paperback
276 pages
Category:
History & Philosophy
,
Logic & Language
,
Philosophy
FREE US shipping
Book details
ISBN-13:
9780521068420
ISBN-10:
0521068428
Edition:
1
Author:
Sara Negri, Jan von Plato
Publication date:
2008
Publisher:
Cambridge University Press
Format:
Paperback
276 pages
Category:
History & Philosophy
,
Logic & Language
,
Philosophy
Summary
Structural Proof Theory (ISBN-13: 9780521068420 and ISBN-10: 0521068428), written by authors
Sara Negri, Jan von Plato, was published by Cambridge University Press in 2008.
With an overall rating of 4.3 stars, it's a notable title among other
History & Philosophy
(Logic & Language, Philosophy) books. You can easily purchase or rent Structural Proof Theory (Paperback) from BooksRun,
along with many other new and used
History & Philosophy
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $1.04.
Description
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.
We would LOVE it if you could help us and other readers by reviewing the book
{user}
{createdAt}
{truncated_title}
{author_block}
by {truncated_author}
