MoL-1999-02: Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning 1.Full Text, 2.Abstract, 3.Abstract (PS), 4.Abstract (TXT). < Back
