Cut Elimination in a Class of Sequent Ca
β
Francisco GutiΓ©rrez; Blas Ruiz
π
Article
π
2003
π
Elsevier Science
π
English
β 910 KB