Selected Papers in Proof Theory

€62.00

This collection includes papers devoted to the structural theory of proofs, which was born in the framework of Hilbert’s program and is applied now in connection with various project using the effective contents of formlized proofs. .