Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de julio de 2008 |
| ISBN13 | 9780521068420 |
| Editores | Cambridge University Press |
| Páginas | 276 |
| Dimensiones | 229 × 155 × 18 mm · 416 g |
| Lengua | Inglés |