Girard Jean-Yves

Mostra tutti i 1 risultati

• 

  Proof Theory and Logical Complexity

  Autore: Girard Jean-Yves

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

  €77.00