Association for Symbolic Logic

《数理逻辑学期刊》（英語：Journal of Symbolic Logic）是一份由符号逻辑协会（英语：Association for Symbolic Logic）出版的具有同行評審的数学期刊，为一季刊。它成立于1936年，内容主要为数理逻辑相关内容。该期刊被《數學評論》、數學文摘及Scopus收录。其MCQ为0

（原始内容存档于2020-07-18）.  Karp Prize Recipients. Association for Symbolic Logic（英语：Association for Symbolic Logic）. [2019-07-22]. （原始内容存档于2019-07-22）.  Džamonja

Throwing Darts at the Real Number Line. Journal of Symbolic Logic (Association for Symbolic Logic). 1986, 51 (1): 190–200. JSTOR 2273955. doi:10.2307/2273955

theory and empty individual-domains, The Journal of Symbolic Logic (Association for Symbolic Logic), 1953, 18 (3): 197–200, JSTOR 2267402, doi:10.2307/2267402

sley合写于1965年的论文是美國人對直覺主義邏輯和數學的經典介紹。克莱尼曾于1956年至1988年擔任符號邏輯協會（Association for Symbolic Logic）主席，1961年擔任國際科學史與科學哲學聯盟（International Union of History and Philosophy