Este repositorio es una recopilación de lecturas compartidas en la lista de correo del grupo de lógica computacional desde el año 2010 al 2015. La recopilación está ordenada por la fecha de su publicación en la lista. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.