کتاب دوره مختصر منطق صوری ( محمد خوانساری ) انتشارات دانشگاه تهران