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,678
Discovery Miles 26 780
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,678 Discovery Miles 26 780 | Repayment Terms: R251 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 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..

Categories for the Working Philosopher
Elaine Landry Hardcover R4,384 Discovery Miles 43 840
The Cognitive Penetrability of…
John Zeimbekis, Athanassios Raftopoulos Hardcover R4,379 Discovery Miles 43 790
Quantum Ontology - A Guide to the…
Peter J Lewis Hardcover R4,059 Discovery Miles 40 590
Exploring Inductive Risk - Case Studies…
Kevin C. Elliott, Ted Richards Hardcover R3,551 Discovery Miles 35 510
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,353 Discovery Miles 33 530
Accuracy and the Laws of Credence
Richard Pettigrew Hardcover R3,034 Discovery Miles 30 340
The Wave Function - Essays on the…
David Albert, Alyssa Ney Hardcover R4,456 Discovery Miles 44 560
Phenomenology of Illness
Havi Carel Hardcover R2,328 Discovery Miles 23 280
The Epistemic Life of Groups - Essays in…
Michael S. Brady, Miranda Fricker Hardcover R2,997 Discovery Miles 29 970
Playing Politics with Science…
David B Resnik Hardcover R2,158 Discovery Miles 21 580
Naturalism and the First-Person…
Lynne Rudder Baker Hardcover R4,451 Discovery Miles 44 510
Simulation and Similarity - Using Models…
Michael Weisberg Hardcover R2,792 Discovery Miles 27 920

See more

Partners