Discrete mathematics with logic - Milanič, Martin; Servatius, Brigitte; Servatius, Herman (Academic Press, 2024)