3 works on record
Computation and Logic in the Real World
Computing with Incomplete Information
Complexity, Logic, and Recursion Theory
