First order logic.djvu 逻辑学的另一种形式是符号化,用字母和逻辑连接符表示命题。这种逻辑学作为数学和计算的表述语言,称作符号... 大小：1.45MB | 2020-08-19 05:18:37
