يصدر قريبا...فاستنطاق المنطق هو تحليل تطوره التاريخي منذ وُلِدَ مع أرسطو حتى أولَدَ المنطقُ الرياضي علمَ الحاسوب، وخلال هذا التحليل التاريخي تظهر خفايا وتتكشف أسرار قد لا تُعلم إلا بقراءة الاستنطاق. لعل ما تفتَّق عنه ذهني بعد قراءة مئات الكتب والأوراق المنطقية حريٌّ بأن يُسجَّل في عمري هذا، لأن بقية العمر ستُقضى -غالبا- في خلق أنظمة منطقية جديد وتهديم أخرى، واستدعاء ما هو أشد جِدة وجِدية.