Үүнийг мессежээр илгээх: Mathematical logic and computability/