Contemporary Logic Design
the complete book
