TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FLgc DAN FLw,gc - Surarso, Bayu (JURUSAN MATEMATIKA FMIPA, 2007)