Telefona gönder: Elements of mathematical logic