Visualizza carrello “Fixed point constructions in various theories of Mathematical Logic” è stato aggiunto al tuo carrello.
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: , .


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

Log in with your credentials

Forgot your details?