- 布郎大学的离散数学主页?lt;English?gt;
重点介绍离散数学。
www.cs.brown.edu/courses/cs022
- 德国的数学逻辑季刊
包括期刊目次、作者信息、编辑公告等内容。
www.wiley-vch.de/berlin/journals/mlq/index.html
- 牛津大学数理逻辑学研究?lt;English?gt;
牛津大学的逻辑学研究项目和专业。
www.maths.ox.ac.uk/logic
- 逻辑论坛?lt;English?gt;
Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。
forum.swarthmore.edu/epigone/alt.math.undergrad
- 数理逻辑通讯?lt;English?gt;
加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。
www.math.ucla.edu/~asl
- 数学参考主页
计算机学科类数学参考资料。
wangww.51.net
- 数学逻辑档案?lt;English?gt;
属于德国Springer出版公司在线电子期刊的一种。
link.springer.de/link/service/journals/00153/index.htm
- 数学主题?lt;English?gt;
田纳西州立大学数学系数学档案主页的数学主题。
archives.math.utk.edu/topics/logic.html
- 瑞典的逻辑、数学和推理主页?lt;English?gt;
提供抽象代数学、数字、矢量代数分析学，矢量场分析，逻辑形式系统等的定义和描述。
www.torget.se/users/m/mauritz/math
