Discrete mathematics for computing - Sajna Mateja (usa mcgraw hill, 2015)