Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 12, 2014 |
| ISBN13 | 9781107417236 |
| Publishers | Cambridge University Press |
| Pages | 278 |
| Dimensions | 172 × 246 × 18 mm · 472 g |
| Language | English |
More by Negri, Sara (University of Helsinki)
Show allMere med samme udgiver
See all of Negri, Sara (University of Helsinki) ( e.g. Paperback Book and Hardcover Book )