Buchholz Wilfried

Visualizzazione del risultato

• 

  

  Proof Theory of Impredicative Subsystem of Analysis

  Autore: Buchholz Wilfried, Schutte Kurt

  The present book provides a uniform proof-theoretical treatment of several continua

  €41.00