Proof Analysis - A Contribution to Hilbert's Last Problem - Sara Negri - Paperback Bog - Cambridge University Press - 2014 - Engelsk - Booktok.dk
Brand: Cambridge University Press
Description
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.
