alt.math.undergrad - Math Forum
Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。
Archive for Mathematical Logic
《数学逻辑档案》,属于德国Springer出版公司在线电子期刊的一种。
BLC
不列颠逻辑研讨会的主页,包括数学逻辑的相关研究,如相关网站及电子期刊。
Books: Professional & Technical: Professional Science: Mathematics - Amazon.com
浏览亚马逊网上专业和技术店中的数学畅销书,提供应用范畴,混沌与系统化;几何与拓扑;数学分析; 数学物理学;数字规律;纯数学;数学变换等领域,包括数理逻辑方面的畅销书的在线预览。
Bulletin of Symbolic Logic
加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。
Christer's pages of Logic, Math, and Reasoning - Christer Blomqvist
瑞典的逻辑、数学和推理主页,提供抽象代数学、数字、矢量代数分析学,矢量场分析,逻辑形式系统等的定义和描述。
COMPULOG Americas - 美国逻辑规划组织 Computability Theory -
可计算性理论主页,提供数理逻辑协会主页的链接,主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。
CS22: Discrete Math - Brown University
布郎大学的离散数学主页,重点介绍离散数学:证据、逻辑、归纳、处理机的密码和网络系统:课程、家庭作业、资料。
Journal of Mathematical Logic
世界科学公司的数学逻辑期刊。
Logic and Set Theory - 数学主题
田纳西州立大学数学系数学档案主页的数学主题:逻辑学与集合论,包括各种相关的网上资源。
Logic in Israel -
以色列逻辑主页,包括以色列多所大学的逻辑研究资源,也包括数学领域的逻辑研究。
Mathematical Logic around the world
德国的世界数学逻辑主页,由波恩大学数学逻辑小组和维也纳大学逻辑研究所提供服务。
Mathematical Logic Quarterly
德国的数学逻辑季刊,包括期刊目次、作者信息、编辑公告等内容。
Mathematical Logic and Foundations
北伊利诺伊大学数学科学系的数学逻辑及基金主页,提供相关的会议、参考资源、软件等信息。
Modern Logic 《现代逻辑》,关于数学逻辑的历史、集合论和数学基础的国际期刊,提供在线的目次、文摘和作者索引等内容。
Studia Logica
《逻辑研究》,波兰科学院哲学与社会学研究所的国际数理逻辑期刊。

|