Discrete Math Category

2024

10-07

【Under Construction】一些逻辑话题：递归论初步与哥德尔不完备定理

09-19

一些逻辑话题：如何证明自然演绎系统的一致性、完备性，以及直觉主义逻辑

09-10

一些集合论内容的笔记

0%