Schutte Kurt

Mostra tutti i 1 risultati

• 

  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