Encyklopédia Slovenska (Veda, 1980)