Girard Jean-Yves

Visualizzazione del risultato

• 

  

  Proof Theory and Logical Complexity

  Autore: Girard Jean-Yves

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

  €77.00