forall x:形式逻辑导论forall x: An Introduction to Formal Logic
形式逻辑的开放获取入门教科书。它涵盖了句子和谓词逻辑的翻译，证明和形式语义。
下载地址
用户评论
