Matematicko-logické modelování v hornictví - Fajkoš, Alfréd (Řada hornické literatury, 1978)