forall x：形式逻辑导论forall x: An Introduction to Formal Logic

【文件属性】：

文件名称：forall x：形式逻辑导论forall x: An Introduction to Formal Logic

文件大小：101B

文件格式：TXT

更新时间：2022-12-05 09:11:29

计算机科学

形式逻辑的开放获取入门教科书。 它涵盖了句子和谓词逻辑的翻译，证明和形式语义。