copertina proof theory of impredivative_NEW
ISBN: 9788870881660
Pagine: 120
Anno: 1988
Edizione: 7088
Rilegatura: RILEGATO

Proof Theory of Impredicative Subsystem of Analysis

Lingua: inglese
Categoria: , .

€41.00

The present book provides a uniform proof-theoretical treatment of several essentially impredicative subsystems of analysis.

Log in with your credentials

Forgot your details?