1993-11-012022-01-28 rzach Proof Theory of Finite-Valued Logics Source Diploma Thesis, Technische Universität Wien, Vienna, 1993 Technical Report TUW-E185.2-Z.1-93