علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
محمد خوانساری
منطق صوری در واقع یکی از کتاب‌های ارزشمند است که توانسته به زبانی رسا و روشن، فقر شدید منابع را در حوزه منطق‌آموزی آکادمیک در دانشگاه‌های ایران را مرتفع کند. بعدها وی با نگارش شکل درسی این اثر برای مقطع تحصیلی دبیرستان‌ها نقش مهمی در آموزش و تعلیم دانش منطق برای چندین نسل متوالی از طبقات تحصیل کردهٔ ایران ایفا کرد و می‌توان از او با عنوان «آموزگار جاوید منطق» یاد کرد.