- DocumentoType Systemsenviado pornenekotan
- DocumentoSlides Gödels Incompleteness Theoremsenviado pornenekotan
- DocumentoSlides Church-Turing Thesis (MoC)enviado pornenekotan
- DocumentoLinking Interaction Nets and Post Canonical Systemsenviado pornenekotan
- DocumentoPost's Correspondence Problemenviado pornenekotan