
Conte aos seus amigos sobre este item:
Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic 2015 edition
Heinrich Wansing
Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic 2015 edition
Heinrich Wansing
Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
458 pages, 6 black & white illustrations, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 8 de dezembro de 2014 |
ISBN13 | 9783319110400 |
Editoras | Springer International Publishing AG |
Páginas | 458 |
Dimensões | 155 × 235 × 27 mm · 834 g |
Idioma | French |
Editor | Wansing, Heinrich |
Mostrar tudo
Mais por Heinrich Wansing
Ver tudo de Heinrich Wansing ( por exemplo Paperback Book , Hardcover Book e Book )