Structural Proof Theory (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	July 2008
First published:	2001
Authors:	Sara Negri • Jan von Plato
Appendix by:	Aarne Ranta
Dimensions:	229 x 152 x 16mm (L x W x T)
Format:	Paperback - Trade
Pages:	276
ISBN-13:	978-0-521-06842-0
Categories:	Books > Science & Mathematics > Science: general issues > Philosophy of science Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	0-521-06842-8
Barcode:	9780521068420

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!