Encyclopedic dictionary of mathematics - Nihon, Sugakkai; Ito, Kiyosi, 1915-2008 (The MIT Press, 1993)