Proof Theory of Impredicative Subsystem of Analysis
Collana: Studies in Proof Theory
Lingua: inglese
Categoria: LOGICA, Logica matematica.€41.00
The present book provides a uniform proof-theoretical treatment of several essentially impredicative subsystems of analysis.