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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 18, 2001 |
| ISBN13 | 9780521793070 |
| Publishers | Cambridge University Press |
| Pages | 276 |
| Dimensions | 160 × 235 × 21 mm · 599 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 )