[SLFM 011] Truth and Consequence in Mediaeval Logic Ernest A. Moody

qqcharity66281 6 0 PDF 2021-02-01 03:02:45

[SLFM 011] Truth and Consequence in Mediaeval Logic - Ernest A. Moody

暂无评论

Computability complexity logic

这是关于可计算性与计算复杂性的电子书，旧版，经典著作，英文版

23 2019-04-09
Handbook of Model Logic

HandbookofModelLogic，模型论的最从权威教材

26 2019-07-31
logic in computer science

面向计算机科学的数理逻辑系统建模与推理英文原版

48 2019-06-25
micro.logic

这个逻辑分析仪，中文系统打开是乱码，得用英文，对于

28 2019-07-06
Quantum Computation and Logic

QuantumComputationandLogic:HowQuantumComputersHaveInspiredLogicalInvestigations(TrendsinLogic)By作者:M

25 2019-06-05
Logic for computer science

Thisisaslightyrevisedversionofthe1985editionofmylogicbook.Manyty-posanderrorshavebeencorrectedandthe

35 2019-07-09
Saleae logic软件

Saleae逻辑分析仪配套软件用于Saleae逻辑分析仪显示波形

49 2019-05-31
Handbook of Mathematical Logic

HandbookofMathematicalLogic(Studiesinlogicandthefoundationsofmathematics)(JonBarwise)

49 2019-06-22
Logic in Access Control

Logic in Access Control

25 2018-12-15
concise of mathematical logic

大学高级数理逻辑教程，包括一阶谓词逻辑，完全定理。

26 2019-07-17