De syllogismis hypotheticis - Abbo Floriacensis 945-1004 (Brill, 1997)