Luqman Hakim, NIM. 98433766  (2005) KONTRIBUSI AL-FARABI TERHADAP PERKEMBANGAN LOGIKA MATEMATIKA.  Skripsi thesis, UIN SUNAN KALIJAGA YOGYAKARTA.