Aprender
edX para empresas
StanfordOnline: Semantics of First-Order Logic | edX