
Conte aos seus amigos sobre este item:
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, Sara (University of Helsinki)
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, Sara (University of Helsinki)
A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.
278 pages, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 12 de junho de 2014 |
ISBN13 | 9781107417236 |
Editoras | Cambridge University Press |
Páginas | 278 |
Dimensões | 172 × 246 × 18 mm · 472 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 )