Abu Nasur al-Farabi (ca. 872-950) was an Arabic polymath and philosopher, and the first Arabic logician credited with developing a non-Aristotelian logic. He discussed the topics of future contingents, the number and relation of the categories, the relation between logic and grammar, and non-Aristotelian forms of inference. He is also credited with categorizing logic into two separate groups, the first being idea and the second being proof. Nicholas Rescher assembles this annotated bibliography, listing printed materials relating to al-Farabi, and summaries that provide further details of these works."