Nihon Sūgakkai

• Encyclopedic dictionary of mathematics
• Iwanami sūgaku jiten
• Journal of the Mathematical Society of Japan
• Sūgaku no gaikan
• Theories of types and proofs
• 岩波数学辞典