Selected Papers in Proof Theory
Collana: Studies in Proof Theory
Lingua: inglese
Categoria: LOGICA, Logica matematica.€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. .