Discrete mathematics with logic
Martin Milanič, Brigitte Servatius, Herman Servatius
Academic Press, 2024