Name: Structural Proof Theory
Price: 82.90 EUR
Availability: InStock
Author: Sara Negri
ISBN: 9780521068420

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Cambridge University Press

Author

Sara Negri

Year

2008

Language

English

Pages

276

Format

Paperback

Weight

ISBN

0521068428

ISBN13

9780521068420

Edition No.

Synopsis "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. 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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Structural Proof Theory - Sara Negri

Synopsis "Structural Proof Theory "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery