Ensiklopedi Nasional Indonesia, Jilid 13 (Pustaka Inti, 1988)