Girard Jean-Yves
Mostra tutti i 1 risultati
-
AcquistaQuick View
Proof Theory and Logical Complexity
Autore: Girard Jean-YvesThis book is intended to be an introduction to proof-theory. continua
Mostra tutti i 1 risultati
This book is intended to be an introduction to proof-theory. continua