0
Your cart

Your cart is empty

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

Buy Now

Structural Proof Theory (Paperback) Loot Price: R1,319
Discovery Miles 13 190
Structural Proof Theory (Paperback): Sara Negri, Jan von Plato

Structural Proof Theory (Paperback)

Sara Negri, Jan von Plato; Appendix by Aarne Ranta

 (sign in to rate)
Loot Price R1,319 Discovery Miles 13 190 | Repayment Terms: R124 pm x 12*

Bookmark and Share

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

You might also like..

The Oxford Handbook of German Philosophy…
Michael N. Forster, Kristin Gjesdal Hardcover R4,838 Discovery Miles 48 380
The Matter With Things - Our Brains, Our…
Iain McGilchrist Hardcover R3,324 Discovery Miles 33 240
The Character of Consciousness
David J. Chalmers Hardcover R4,404 Discovery Miles 44 040
Religio Medici - and Urn-Burial
Sir Thomas Browne Paperback R488 Discovery Miles 4 880
Religio Medici - to Which Is Added…
Sir Thomas Browne Paperback R566 Discovery Miles 5 660
Religio Medici - to Which Is Added…
Sir Thomas Browne Paperback R604 Discovery Miles 6 040
The Grammar of Science
Karl Pearson Paperback R605 Discovery Miles 6 050
Science and Method
Poincare Henri 1854-1912 Paperback R528 Discovery Miles 5 280
Science and Life - Essays of a…
J.B.S. Haldane Paperback R216 Discovery Miles 2 160
Theories of Emotion - Expressing…
Pia Campeggiani Hardcover R2,336 Discovery Miles 23 360
Vegetal Sex - Philosophy of Plants
Stella Sandford Hardcover R2,516 Discovery Miles 25 160
Realism
Uwe C Koepke Hardcover R689 R627 Discovery Miles 6 270

See more

Partners