Studies in Proof Theory

Visualizzazione di 4 risultati

• 

  

  Selected Papers in Proof Theory

  Autore: Mintz Grigorii E.

  This collection includes papers devoted to the structural theory of continua

  €62.00

• 

  

  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

• 

  

  Proof Theory and Logical Complexity

  Autore: Girard Jean-Yves

  This book is intended to be an introduction to proof-theory. continua

  €77.00

• Esaurito

  

  Intuitionistic Type Theory

  Autore: Martin-Lof Peer

  These lectures were given in Padova at the Laboratorio per continua

  €21.00