منطق 1
منطق صدرایی، شرح التنقیح فی المنطق
مبانی منطق جدید
درآمدی به منطق جدید
درآمدی نو به منطق نمادین، منطق محمول ها