Ítems similars: A Logical approach to discrete math /