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