数学建模社区-数学中国›群组 › 学科交流 › 理科 › 数理逻辑

数理逻辑

研讨逻辑学、离散数学、数学基础、逻辑哲学、“元数学”（创建者称之为“超数学”）。

收藏|RSS|积分: 0|群主: 逻辑之剑

查看所有主题

	最新主题	作者/时间	回复/查看	最后发表

	数理逻辑的中国声音	逻辑之剑 2016-6-28	0707	逻辑之剑 2016-6-28 20:33
	《证明方法与理论》介绍	逻辑之剑 2016-5-30	01616	逻辑之剑 2016-5-30 14:49
	传统逻辑的协调化、经典化和自动化的探索	逻辑之剑 2016-5-30	01010	逻辑之剑 2016-5-30 14:46

成员动态

本群组没有最新动态

3 帖子	3 成员	262 排名

群组地址

逻辑之剑创建于 2016-5-30

qq

电话咨询
04714969085

关于我们| 联系我们| 诚征英才| 对外合作| 产品服务|

手机版|Archiver| |繁體中文手机客户端

蒙公网安备 15010502000194号

Powered by Discuz! X2.5 © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 ) 论坛法律顾问：王兆丰

GMT+8, 2025-11-5 13:48 , Processed in 1.079260 second(s), 34 queries .

回顶部