Title: Logic design theory
Subjects: Logic design, Symbolic and mathematical Logic