Telefona gönder: Mathematical logic