Text this: Matematicko-logické modelování v horníctví /