Elementary mathematics from a higher standpoint : volume I: arithmetic, algebra, analysis (2016)