本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS，因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器，本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI，请尽量通过 HTTPS 访问本站，谢谢！
这里会显示出您选择的修订版和当前版本之间的差别。
| — | math:math_note:gen_discrete_math:prop_logic_and_formal_system [2020/04/08 03:48] (当前版本) – ↷ 页面math:math_note:gen_discrete_math:prop_logic_and_formal_system被移动至math:discrete_math:gen_discrete_math:prop_logic_and_formal_system codinghare |
|---|