Title: A logical approach to discrete math
First published: 1993
Subjects: Mathematics, Computer science, mathematics, Discrete mathematics