Foundations of arithmetic differential geometry - Buium, Alexandru, (American Mathematical Society,, 2017)