大范围流行
发表于 2025-3-26 23:39:47
http://reply.papertrans.cn/15/1415/141408/141408_31.png
sigmoid-colon
发表于 2025-3-27 04:24:24
http://reply.papertrans.cn/15/1415/141408/141408_32.png
无所不知
发表于 2025-3-27 08:15:03
Textbook 2014 interpretability, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic..
雇佣兵
发表于 2025-3-27 11:21:05
9楼
Arable
发表于 2025-3-27 17:28:22
10楼
sigmoid-colon
发表于 2025-3-27 20:13:29
10楼
inhibit
发表于 2025-3-27 23:52:28
10楼
尾随
发表于 2025-3-28 05:22:43
10楼