1、http://post.baidu.com/f?kz=90669189 ●逻辑研究●逻辑学常用符号及其语义解释 
2、http://post.baidu.com/f?kz=70769240 ★逻辑学与数学★数学悖论与三次数学危机
3、http://post.baidu.com/f?kz=74517355 ★数理逻辑★计算机科学的基础 
4、http://post.baidu.com/f?kz=70545666 我国人工智能科研理论和应用——“泛逻辑学” 
5、http://post.baidu.com/f?kz=82192260 ★史话★社会哲学的数学原理（牛顿、爱因斯坦）
6、http://post.baidu.com/f?kz=91373530 ★数理逻辑★数学公理可以证明吗？ 
7、http://post.baidu.com/f?kz=92145928 ★逻辑选择★选出无效的推理式 
8、http://post.baidu.com/f?kz=92215819 ★逻辑与思维★数学教学中的五种意识：问题意识 
9、http://post.baidu.com/f?kz=74147742 ★符号化方法★小王或者是干部或者是学生会干部 
10、http://post.baidu.com/f?kz=74924274★关系的逻辑性质★在北海公园里

11、http://post.baidu.com/f?kz=96287411 ★逻辑与数学★寓言：数学世界的函数王国） 
12、http://post.baidu.com/f?kz=93377071 ★逻辑学研究★2005年科学技术哲学研究回顾 
13、http://post.baidu.com/f?kz=93534500 ★逻辑与思维★数字化：改变学习观念和模式 
14、http://post.baidu.com/f?kz=96748790 什么叫谓项逻辑学呀？ 
15、http://post.baidu.com/f?kz=96878994 ZT:简单的填数字 
16、http://post.baidu.com/f?kz=96875448 ZT:一个五位数(勉强算之) 
17、http://post.baidu.com/f?kz=97037821 康脱集论最让数学脱离健康
18、http://post.baidu.com/f?kz=98957153 ★数理逻辑★符号的逻辑——数理逻辑 
19、http://post.baidu.com/f?kz=99781632 黄小宁：慎言“任何”与“所有” 
20、http://post.baidu.com/f?kz=101349697 ★逻辑思考题★亚洲十强赛战局

21、http://post.baidu.com/f?kz=99273646 ●逻辑思考题●数学、数字题汇总 
22、http://post.baidu.com/f?kz=102076551 ★逻辑哲学★黎鸣：哲学狂人挑战顶级数学猜想 
23、http://post.baidu.com/f?kz=102627601 ★人工智能★思维是数字化的吗？ (转) 
24、http://post.baidu.com/f?kz=104419547 中国科学家解决百年数学难题庞加莱猜想 
25、http://post.baidu.com/f?kz=104862702 ★数学史话★认识数学 
26、http://post.baidu.com/f?kz=105412885 ★数理逻辑★集合论简介 
27、http://post.baidu.com/f?kz=106152335 ★★“我思故我在”的数理逻辑表述及证明 
28、http://post.baidu.com/f?kz=107077991【惊世传奇--哥德巴赫偶数定理】 
29、http://post.baidu.com/f?kz=107954090 ★数理逻辑★梁彪:论逻辑系统 
30、http://post.baidu.com/f?kz=108736891 【原创】数学定义学习方法

41、http://post.baidu.com/f?kz=164641641 自然数的子集不是有穷数集就是可数无穷数集  
42、http://post.baidu.com/f?kz=187244544 [转贴]信号、句子、词  
43、http://post.baidu.com/f?kz=183172660 最复杂数学结构E8问题破解  
44、http://post.baidu.com/f?kz=190987063 数学符号的起源  
45、http://post.baidu.com/f?kz=284170349 逻辑演算的基本概念  
46、http://tieba.baidu.com/f?kz=309445135 图灵停机悖论是诡辩逻辑  
47、http://tieba.baidu.com/f?kz=325194232 李冕：康托尔定理证明中的致命的逻辑错误(二)  
48、http://tieba.baidu.com/f?kz=533617085 形式论证和非形式论证的疑问？  
49、http://tieba.baidu.com/f?kz=548583090 怎样理解 p→(q→r)=(p→q)→(p→r)  
50、http://tieba.baidu.com/f?kz=597598679 ★数理逻辑★命题演算常见定理

51、http://tieba.baidu.com/f?kz=597509573 复旦大三学生证明计算几何领域世界级猜想     
52、http://tieba.baidu.com/f?kz=602159862 【转载】ZF公理系统与希尔伯特的23个问题   
53、http://tieba.baidu.com/f?kz=610358511 一阶谓词逻辑简介   
54、http://tieba.baidu.com/f?kz=615672772 关于逻辑学专用符号的输入方法
55、http://tieba.baidu.com/f?kz=676911978 关于算术可定义性、递归、半递归的关系
56、http://tieba.baidu.com/f?kz=693033405 Proof of God
57、http://tieba.baidu.com/f?kz=723583980 “为人民服务”，究竟是什么意思？
58、http://tieba.baidu.com/f?kz=726404977 “三人行，必有我师”如何符号化
59、http://tieba.baidu.com/f?kz=728208538 命题函项(转自中山大学黄敏教授的新浪博客）
60、http://tieba.baidu.com/f?kz=856630188 “至少有三只猫一起在吃至少两条鱼”

61、http://tieba.baidu.com/f?kz=895052679 证明∀x0...∀xk(A)├ A(y0/x0,...,yk/xk)
62、http://tieba.baidu.com/f?kz=917536006 一个小问题：欧式几何是完备的么？