Matematicko-logické modelování v hornictví - Fajkoš, Alfred (rz1, 1978)