Zaslat SMS: Mathematical logic and computability/