Title: University algebra: embracing a logical development of the science