هست . تعليق العبارة أو را محمد سليم سالم در 1976 چاپ كرده است .
( بروكلمن 1 : 211 و 460 وذيل 1 : 830 ) .
31 - أبو الصلت أمية بن عبد العزيز اندلسى ( 460 - 529 ) را تقويم الذهن است كه بروش تقويم الصحة خود جدولهائى در آن گذارده وخواسته است كه در منطق كيفى راه رياضى پيش گيرد . نسخهء آن در اسكوريال است ( در نبورگ 1 : 454 ش 646 مؤرخ 710 ) وبه چاپ هم رسيده است نسخهء ديگر آن در مجموعه شماره 183 إسماعيل صائب است كه در فهرست فيلمها ( ص 449 ف 280 ع 6126 ) از آن ياد شده است .
( چلپى - بروكلمن 1 : 486 وذيل 1 : 889 ) .
32 - ابن رشد اندلسى ( 520 - 595 ) كه كتابهاى منطقي أرسطو را شرح وتلخيص كرده واز تلخيص المنطق أو كه در دو جاى آن از فارابى خرده گرفته است چندين نسخه در دست هست ( فيلمها 1 : 210 - ملك 167 - مجلس 5 : 476 ) .
اينك از نسخههاى آن ياد مىكنم :
نسخههاى تلخيص ابن رشد
1 - فلورانس 54 / 180 ، كامل از مقولات تا شعر ، فيلم 2778 دانشگاه ( فهرست فيلمها 1 : 310 ) .
2 - ليدن 2820 ( 1691 ) كامل از مقولات تا شعر ، عكس آن در قاهره هست ( ف 2751 دانشگاه ، فهرست 1 : 310 ) .
3 - سنا 448 ( مقولات - برهان ) نسخ سدهء 10 ( ص 262 فهرست نشريهء 7 : 593 ش 447 ) .
4 - منچستر 374 ( لندسيانا 349 ) نسخ هندى سدهء 10 با حواشي ،