Encyclopedic dictionary of mathematics (1977)