Title: Intermediate Arithmetic ... : (Robinson's Shorter Course)