首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 对于有条件的完备性证明投影仪演示吉利斯

对于有条件的完备性证明投影仪演示吉利斯

资 源 简 介

This is the beamer presentation of the completeness proof for the Gillies conditional done for a project in the course Philosophical Logic at the ILLC, 2009-2010.

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP