GitHub repository: libreim/incompletud-godel
Primary language: TeX
Created: 2017-04-06T14:57:32Z
Description: Presentación y notas usadas en el seminario sobre los teoremas de incompletud de Gödel.