Llevé Lógica con Solís, la clase se complementaba con el libro de Hoftater (A Golden Braid) y con su propio libro. El material del curso fue muy bueno, siento que fue una clase de lógica especial para computólogos, pues no vimos Lógica de Predicados, sino que puso enfasis en teoría de la complejidad y otros temas de computación. Desafortunadamente muchos reprobaron. Pero aún así aprendieron mucho.