Lógica de segundo orden y [omega]-modelos - Salinas Rodríguez, Mauricio (México, 2008)