首页| 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
0.170573s