A free resource from Wolfram Research built with Mathematica/Wolfram Language technology Created, developed & nurtured by Eric Weisstein with contributions from the world's mathematical community
Stack Exchange Network Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Visit Stack Exchange
1
http://www.math.kobe-u.ac.jp/Asir/ca.pdf
日本数学会(MSJ)--邦文誌「数学」-論説- １ 数理論理と基礎論
Wolfram MathWorld: The Web's Most Extensive Mathematics Resource
Mathematics Stack Exchange
