全球数学网址大全（副本）.pdf

全球数学网址大全 全球数学网址大全 全全球球数数学学网网址址大大全全 数理逻辑、数学理论 AILA http://www.disi.unige.it/aila/eindex.html 意大利逻辑及其应用协会的主页，包括意大利数理逻辑领域的相关内容。 Algebra and Logic /title.cgi?2110 《代数与逻辑》，《西伯利亚代数与逻辑期刊》的翻译版，荷兰的Kluwer学术出版社提供 其在线服务。 alt.math.undergrad - Math Forum /epigone/alt.math.undergrad Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。 Annals of Pure and Applied Logic /~dmjones/hbp/apal/ 《纯逻辑与应用逻辑学年鉴》，麻省理工大学计算理论小组主页提供其过刊的浏览，荷兰的 Elservier出版社提供其电子刊的在线服务。 Archive for Mathematical Logic http://link.springer.de/link/service/journ...00153/index.htm 《数学逻辑档案》，属于德国Springer出版公司在线电子期刊的一种。 Aristotle and the Paradoxes of Logic - Gilbert Voeten /nilog/files/arist...adoxes_of_l.htm 亚里士多德及其逻辑理论研究。      BLC http://www.cs.bham.ac.uk/~exr/blc/ 不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。 Books: Professional Technical: Professional Science: Mathematics - A /exec/obidos/tg/brows...3600008-7001844 浏览亚马逊网上专业和技术店中的数学畅销书，提供应用范畴，混沌与系统化；几何与拓扑； 数学分析； 数学物理学；数字规律；纯数学；数学变换等领域，包括数理逻辑方面的畅销 书的在线预览。 Bulletin of Symbolic Logic /~asl/ 加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。 Christers pages of Logic, Math, and Reasoning - Christer Blomqvist http://www.torget.se/users/m/mauritz/math/ 瑞典的逻辑、数学和推理主页，提供抽象代数学、数字、矢量代数分析学，矢量场分析，逻 辑形式系统等的定义和描述。 Classic Fallacies - Philip Spencer; University of Toronto Mathematics Network /mathnet/falseP.../fallacies.html 多伦多大学数学网主页，提供数学的各种论题。 COMPULOG Americas - 美国逻辑规划组织 Computability Theory - /~complog/ /~cholak/computability/co...putability.html 可计算性理论主页，提供数理逻辑协会主页的链接，主要内容包括可计算性理论领域的各类 活跃人员及其研究领域等。 CS22: Discrete Math - Brown University /courses/cs022/ 布郎大学的离散数学主页，重点介绍离散数学：证据、逻辑、归纳、处理机的密码和网络系 统：课程、家庭作业、资料。 CSHPM - 加拿大数学哲理与数学史学会 http://www.kingsu.ab.ca/~glen/cshpm/home.htm Journal of Logic and Computation  /~dmjones/hbp/jlogc/ 《逻辑与计算杂志》，麻省理工大学计算理论小组主页提供其过刊的浏览。 Journal of Mathematical Logic  /journals/jml/jml.html 世界科学公司的数学逻辑期刊。 Logic and Set Theory - 数学主题 /topics/logic.html 田纳西州立大学数学系数学档案主页的数学主题：逻辑学与集合论