这一类别是关于数理逻辑和数学基础的。（因此，它大致对应于1991年数学科学分类中的03-XX类。）数学以外的主要相关学科一端是计算机科学，另一端是哲学逻辑。如果你正在寻找关于逻辑的基本、非技术性信息，你可能想看看子类别百科全书文章和教育资源。如果您认为您的网站或您遇到的网站适合这里：请提交。如果不确定，请无论如何给我们。..我们将尽最大努力找到它的归属。