6 works on record
Encyclopedic dictionary of mathematics
Theories of types and proofs
1998
Iwanami sūgaku jiten
1968
Sūgaku no gaikan
Journal of the Mathematical Society of Japan
岩波数学辞典