ifj. Sennyei István – Graz (logika)