- ДокументType Systemsзагружено:
nenekotan
- ДокументSlides Gödels Incompleteness Theoremsзагружено:
nenekotan
- ДокументSlides Church-Turing Thesis (MoC)загружено:
nenekotan
- ДокументLinking Interaction Nets and Post Canonical Systemsзагружено:
nenekotan
- ДокументPost's Correspondence Problemзагружено:
nenekotan