Matematická logika a jej aplikácie - Belanec, Martin (2013)