Tell your friends about this item:
Structural Proof Theory Negri, Sara (University of Helsinki)
Price
Íkr 16,769
excl. VAT
Ordered from remote warehouse
Expected delivery Sep 9 - 23
Get notified about new Negri, Sara (University of Helsinki) releases
Our customers say:
Add to your iMusic wish list
Also available as:
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 |
