Robert S. Boyer

• Correctness Problem in Computer Science (International lecture series in computer science)
• A computational logic
• A computational logic handbook
• A Computational Logic Handbook
• Automated reasoning