邏輯学讲义 Luójí xué jiǎngyì - 郭揚 Guo Yang (生活・讀書・新知三聯書店, 1958)