Lógica matemática y fundamentos (2012-13) Lógica matemática y fundamentos (2012-13)

Obtener también información sobre el módulo principal (primer nivel). Utilizar $1modules=main en su lugar.