Computability of 1-manifolds (Logical Methods in Computer Science, 2014)