- DocumentoType Systemscargado por
nenekotan
- DocumentoSlides Gödels Incompleteness Theoremscargado por
nenekotan
- DocumentoSlides Church-Turing Thesis (MoC)cargado por
nenekotan
- DocumentoLinking Interaction Nets and Post Canonical Systemscargado por
nenekotan
- DocumentoPost's Correspondence Problemcargado por
nenekotan