On Gentzen Relations Associated with Fin
β
Angel J. Gil
π
Article
π
2013
π
Springer Netherlands
π
English
β 346 KB