Výroková logika v úlohách. : Riešenie pomocou grafov. - Tóth, Peter (Metodické centrum Bratislava, 2001)