0
Your cart

Your cart is empty

Books > Science & Mathematics > Science: general issues > Philosophy of science

Buy Now

Structural Proof Theory (Hardcover) Loot Price: R2,824
Discovery Miles 28 240
Structural Proof Theory (Hardcover): Sara Negri, Jan von Plato

Structural Proof Theory (Hardcover)

Sara Negri, Jan von Plato; Appendix by Aarne Ranta

 (sign in to rate)
Loot Price R2,824 Discovery Miles 28 240 | Repayment Terms: R265 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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
Promotions
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!

You might also like..

Quantum Ontology - A Guide to the…
Peter J Lewis Hardcover R3,981 Discovery Miles 39 810
Exploring Inductive Risk - Case Studies…
Kevin C. Elliott, Ted Richards Hardcover R3,483 Discovery Miles 34 830
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,289 Discovery Miles 32 890
Playing Politics with Science…
David B Resnik Hardcover R2,118 Discovery Miles 21 180
The New Physics and Cosmology…
Arthur Zajonc Hardcover R1,823 Discovery Miles 18 230
Without Hierarchies - The Scale Freedom…
Mariam Thalos Hardcover R2,749 Discovery Miles 27 490
The Oxford Handbook of German Philosophy…
Michael N. Forster, Kristin Gjesdal Hardcover R4,838 Discovery Miles 48 380
How Physics Makes Us Free
J. T. Ismael Hardcover R1,263 Discovery Miles 12 630
By Parallel Reasoning
Paul Bartha Hardcover R3,182 Discovery Miles 31 820
Tainted - How Philosophy of Science Can…
Kristin Shrader-Frechette Hardcover R2,594 Discovery Miles 25 940
The Divine Order, the Human Order, and…
Eric Watkins Hardcover R3,053 Discovery Miles 30 530
Across the Boundaries - Extrapolation in…
Daniel Steel Hardcover R2,631 Discovery Miles 26 310

See more

Partners