暂无评论
HandbookofModelLogic，模型论的最从权威教材
面向计算机科学的数理逻辑系统建模与推理英文原版
这个逻辑分析仪，中文系统打开是乱码，得用英文，对于
QuantumComputationandLogic:HowQuantumComputersHaveInspiredLogicalInvestigations(TrendsinLogic)By作者:M
Thisisaslightyrevisedversionofthe1985editionofmylogicbook.Manyty-posanderrorshavebeencorrectedandthe
Saleae逻辑分析仪配套软件用于Saleae逻辑分析仪显示波形
HandbookofMathematicalLogic(Studiesinlogicandthefoundationsofmathematics)(JonBarwise)
Logic in Access Control
大学高级数理逻辑教程，包括一阶谓词逻辑，完全定理。
模式逻辑
暂无评论