一阶逻辑：修订历史

2023年9月9日 (星期六)

• 当前之前 06:542023年9月9日 (六) 06:54‎ BXHS-bot 留言 贡献‎ 小 52,639字节 −18‎ 机器人：清理不当的来源、移除无用的模板参数

2023年2月13日 (星期一)

• 当前之前 15:292023年2月13日 (一) 15:29‎ BXHS-bot 留言 贡献‎ 小 52,657字节 −63‎ 机器人：清理不当的来源、移除无用的模板参数

2023年1月27日 (星期五)

• 当前之前 15:412023年1月27日 (五) 15:41‎ PomeloBot 留言 贡献‎ 小 52,720字节 0‎ 文本替换 - 替换“做为|做為”为“作为”

2022年10月28日 (星期五)

• 当前之前 22:472022年10月28日 (五) 22:47‎ BXHS-bot 留言 贡献‎ 小 52,720字节 −356‎ 机器人：清理不当的来源、移除无用的模板参数

2022年10月17日 (星期一)

• 当前之前 07:582022年10月17日 (一) 07:58‎ Njzjzbot 留言 贡献‎ 小 53,076字节 0‎ 机器人：更改已重定向的分类 數理邏輯到数理逻辑

2022年8月9日 (星期二)

• 当前之前 10:442022年8月9日 (二) 10:44‎ BXHS-bot 留言 贡献‎ 小 53,076字节 −5‎ 机器人：自动替换模板（来源模板）

2022年7月7日 (星期四)

• 当前之前 22:512022年7月7日 (四) 22:51‎ 小仓由菜 留言 贡献‎ 53,081字节 −2‎ →‎类型（种类）：​我来啦
• 当前之前 08:482022年7月7日 (四) 08:48‎ BXHS-bot 留言 贡献‎ 小 53,083字节 −447‎ 机器人：删除1个模板：Wayback

2022年6月19日 (星期日)

• 当前之前 08:002022年6月19日 (日) 08:00‎ 求闻编者 留言 贡献‎ 53,530字节 +53,530‎ 修改自此处；原许可：CC BY-SA 3.0［网站升级迁移］