SMS dit: Mathematical logic and computability/