Describir: El conocimiento en el sudoku : un ejemplo de epistemología formal