Quais são os principais livros escritos por Sócrates?