TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw - Surarso, Bayu (Jurusan Matematika Lt. 2 FMIPA Universitas Diponegoro Semarang, 2008)