Discrete mathematics for computing students: A programming oriented approach with Alloy.

Leo C. Ureel II, Charles Wallace

Browse the full FIE paper archive.