Books — algorithmic mathematics