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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 18 de junio de 2001 |
| ISBN13 | 9780521793070 |
| Editores | Cambridge University Press |
| Páginas | 276 |
| Dimensiones | 160 × 235 × 21 mm · 599 g |
| Lengua | Inglés |