Title: Logic & Boolean algebra with computer applications (Wills compact text series)