Robert S. Boyer

A computational logic

2014

A computational logic handbook

2014

Automated reasoning

1987

Correctness Problem in Computer Science (International lecture series in computer science)

1981