Main image
Click to view image in fullscreen
![]()
Structural Proof Theory
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.
980,00 DH
Sur commande
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.
| ISBN / EAN | 9780521793070 |
|---|---|
| Auteur | Negri, Sara (University of Helsinki) |
| Editeur | Cambridge University Press |