Telefona gönder: A precis of mathematical logic