Pastāsti draugiem par šo preci:
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, black & white tables
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 29. septembris |
| ISBN13 | 9781107008953 |
| Izdevēji | Cambridge University Press |
| Lapas | 278 |
| Izmēri | 180 × 254 × 18 mm · 703 g |