添加的内容 删除的内容
小 (→一些基本结果:清理) |
|||
第68行: | 第68行: | ||
{{Computer Science}} |
{{Computer Science}} |
||
[[Category: |
[[Category:逻辑学]] |
||
[[Category:数理邏辑| ]] |
[[Category:数理邏辑| ]] |
||
[[Category:规则|科学]] |
[[Category:规则|科学]] |
小 (→一些基本结果:清理) |
|||
第68行: | 第68行: | ||
{{Computer Science}} |
{{Computer Science}} |
||
[[Category: |
[[Category:逻辑学]] |
||
[[Category:数理邏辑| ]] |
[[Category:数理邏辑| ]] |
||
[[Category:规则|科学]] |
[[Category:规则|科学]] |