Andrea SorbiBooksComputation and Logic in the Real WorldComputing with Incomplete InformationComplexity, Logic, and Recursion TheoryAuthor data: Open Library