Algebra and Logic
《代数与逻辑》，《西伯利亚代数与逻辑期刊》的翻译版，荷兰的Kluwer学术出版社提供其在线服务。

alt.math.undergrad - Math Forum
Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。

Annals of Pure and Applied Logic
《纯逻辑与应用逻辑学年鉴》，麻省理工大学计算理论小组主页提供其过刊的浏览，荷兰的Elservier出版社提供其电子刊的在线服务。

Archive for Mathematical Logic
《数学逻辑档案》，属于德国Springer出版公司在线电子期刊的一种。

Aristotle and the Paradoxes of Logic - Gilbert Voeten
亚里士多德及其逻辑理论研究。     

BLC
不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。

Books: Professional & Technical: Professional Science: Mathematics - Amazon.com
浏览亚马逊网上专业和技术店中的数学畅销书，提供应用范畴，混沌与系统化；几何与拓扑；数学分析； 数学物理学；数字规律；纯数学；数学变换等领域，包括数理逻辑方面的畅销书的在线预览。

Bulletin of Symbolic Logic 
加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。

Christer's pages of Logic, Math, and Reasoning - Christer Blomqvist
瑞典的逻辑、数学和推理主页，提供抽象代数学、数字、矢量代数分析学，矢量场分析，逻辑形式系统等的定义和描述。

Classic Fallacies - Philip Spencer; University of Toronto Mathematics Network
多伦多大学数学网主页，提供数学的各种论题。

COMPULOG Americas - 美国逻辑规划组织 Computability Theory -
可计算性理论主页，提供数理逻辑协会主页的链接，主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。

CS22: Discrete Math - Brown University
布郎大学的离散数学主页，重点介绍离散数学：证据、逻辑、归纳、处理机的密码和网络系统：课程、家庭作业、资料。

CSHPM - 加拿大社会关于数学的哲学和历史

Journal of Logic and Computation  
《逻辑与计算杂志》，麻省理工大学计算理论小组主页提供其过刊的浏览。

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
《逻辑研究》，波兰科学院哲学与社会学研究所的国际数理逻辑期刊。