Title: Logic and the complexity of reasoning
Subjects: Computational complexity, Data processing, Logic design, Symbolic and mathematical Logic