
Conte aos seus amigos sobre este 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, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 10 de julho de 2008 |
ISBN13 | 9780521068420 |
Editoras | Cambridge University Press |
Páginas | 276 |
Dimensões | 229 × 155 × 18 mm · 416 g |
Idioma | English |
Mostrar tudo
Mais por Negri, Sara (University of Helsinki)
Ver tudo de Negri, Sara (University of Helsinki) ( por exemplo Paperback Book e Hardcover Book )