- DocumentType Systemsîncărcat denenekotan
- DocumentSlides Gödels Incompleteness Theoremsîncărcat denenekotan
- DocumentSlides Church-Turing Thesis (MoC)încărcat denenekotan
- DocumentLinking Interaction Nets and Post Canonical Systemsîncărcat denenekotan
- DocumentPost's Correspondence Problemîncărcat denenekotan