Title: Design of Logic Systems
Subjects: Logic, symbolic and mathematical