国内机构
中国逻辑学会	中国社会科学院哲学所逻辑室
中山大学逻辑与认知研究所	西南大学逻辑与智能研究中心
中国人民大学现代逻辑与科学技术哲学研究所

国际机构
Logic on the World Wide Web	Mathematical Logic around the world
Institute for Logic, Language and Computation at University of Amsterdam	Center for The Study of Language and Information at Stanford University
荷兰阿姆斯特丹大学逻辑、语言和计算研究所“逻辑、博弈和计算”	新西兰惠灵顿维多利亚大学“逻辑、语言和计算中心”
英国伦敦国王学院“逻辑、语言和计算小组”

网络资源
北大图书馆	国家图书馆