Produkt mají v nabídce:
Proof Analysis - Negri, Sara (University of Helsinki) a von Plato, Jan (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.
