حسین آقا‌بابا

مقدمه بر منطق جدید برای دانشجویان و پژوهشگران علوم و مهندسی کامپیوتر منطق و فلسفه