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.
Информация за "Proof Analysis"
- SKU 9781107417236
- Weight 0.472000
- ISBN 9781107417236
- Вид корица Paperback / softback
- Издателство Cambridge University Press
- Брой страници 278
The information below is required for social login