Structural Proof Theory (Hardcover)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	June 2001
First published:	2001
Authors:	Sara Negri • Jan von Plato
Appendix by:	Aarne Ranta
Dimensions:	229 x 152 x 17mm (L x W x T)
Format:	Hardcover
Pages:	276
ISBN-13:	978-0-521-79307-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
LSN:	0-521-79307-6
Barcode:	9780521793070

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!