Garnier, Rowan Discrete Mathematics: Proofs structures and applications - 3 - Boca Raton Taylor Francis Dewey Class. No.: 511.3 / GAR.D