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. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
1100959302
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. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
127.0
In Stock
5
1

Structural Proof Theory
276
Structural Proof Theory
276Hardcover
$127.00
127.0
In Stock
Product Details
ISBN-13: | 9780521793070 |
---|---|
Publisher: | Cambridge University Press |
Publication date: | 06/18/2001 |
Pages: | 276 |
Product dimensions: | 6.30(w) x 9.25(h) x 0.83(d) |
From the B&N Reads Blog