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