
Conte aos seus amigos sobre este item:
Methods of Cut-elimination - Trends in Logic 2011 edition
Matthias Baaz
Methods of Cut-elimination - Trends in Logic 2011 edition
Matthias Baaz
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.
296 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 25 de fevereiro de 2013 |
ISBN13 | 9789400734975 |
Editoras | Springer |
Páginas | 296 |
Dimensões | 156 × 234 × 15 mm · 417 g |
Idioma | English |
Mostrar tudo
Mais por Matthias Baaz
Ver tudo de Matthias Baaz ( por exemplo Paperback Book e Hardcover Book )