Proyecto de Lógica 3, Semestre 2013 1