Text this: Kontribusi Al-Farabi Terhadap Perkembangan Logika Matematika