Philoponus: On Aristotle Posterior Analytics 1.19-34: On Aristotle Posterior Ana
Chapters 24-26 argue for the superiority of universal over particular demonstration, of affirmative over negative demonstration, and of direct negative demonstration over demonstration to the impossible.