Proof Analysis
A Contribution to Hilbert's Last Problem
Inbunden, Engelska, 2011
Av Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Sara Negri, Jan Von Plato, Jan Von Plato
1 639 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2011-09-29
- Mått180 x 254 x 18 mm
- Vikt720 g
- FormatInbunden
- SpråkEngelska
- Antal sidor278
- FörlagCambridge University Press
- ISBN9781107008953