Comprehensive mathematics for computer scientists 1 : sets and numbers, graphs and algebra, logic and machines, linear geometry - Guerino, Mazzola,. (Springer-Verlag Berlin Heidelberg, 2004)