Telefona gönder: First course in mathematical logic