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)
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
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..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.