Text this: 形式逻辑与辩证法 Xíngshì luójí yǔ biànzhèngfǎ