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.

©2022 BIBLIOPOLIS – Edizioni di Filosofia e Scienze