TACReprints #1: Metric spaces, generalized logic and closed categories