Hizkuntza formala eta logika jokoak / Roberto Hernáez Rubio - Hernáez Rubio, Roberto (Irale, 2010)