DEWI, YUNIAR PURNAMA and SURARSO, BAYU (2007) TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA LBBâI DAN PERLUASANNYA. Undergraduate thesis, Mathematics and Natural science.