ISBN: 9788870882285
Pagine: 296
Anno: 1992
Edizione: 7088
Rilegatura: RILEGATO

Selected Papers in Proof Theory

Lingua: inglese
Categoria: , .


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. .

©2024 BIBLIOPOLIS – Edizioni di Filosofia e Scienze