数理逻辑引论短评

我来写短评

热门

7 有用兰德尔 2019-05-25 16:23:37

【已存柜】因为历史原因，语义相关内容很少；给出了完全性定理的哥德尔的使用前束范式的原始证明
1 有用弁天 2025-03-01 14:04:38 贵州

怎么给人一种很古老的感觉
1 有用 Hephan 2018-04-01 21:43:35

用Skolem范式证明完全性
1 有用 godeau 2011-01-23 01:02:58

大师！！！
1 有用唐卡inoum 2018-03-11 20:07:59

为了考研而读
1 有用孙泽龙 2023-03-27 16:29:16 北京

10/10
0 有用 Pinô 2023-02-26 22:06:13 上海

。。。学了一天不敢想象这种程度还是引论，感觉一阶逻辑在极大的摧毁我的精神状态。
0 有用閽 2017-04-12 12:45:42

犹记得当年糊里糊涂地抄此书
0 有用 jooey 2020-01-19 21:59:37

前面蜻蜓点水的掠过了，完全不敢说懂。看了数理逻辑发展史，感觉数学白学了…不…其实是根本没好好学过…