Tell your friends about this item:
Structural Proof Theory Negri, Sara (University of Helsinki)
Structural Proof Theory
Negri, Sara (University of Helsinki)
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.
276 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 10, 2008 |
| ISBN13 | 9780521068420 |
| Publishers | Cambridge University Press |
| Pages | 276 |
| Dimensions | 229 × 155 × 18 mm · 416 g |
| Language | English |
More by Negri, Sara (University of Helsinki)
Show allMere med samme udgiver
See all of Negri, Sara (University of Helsinki) ( e.g. Paperback Book and Hardcover Book )