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