Complexity, Logic, and Recursion ...
Complexity, Logic, and Recursion Theory
Year unknown
Andrea Sorbi, Zuhair Nashed, and Earl Taft
Computation and Logic in the Real World
Year unknown
Benedikt Löwe, S. Barry Cooper, and Andrea Sorbi
Computing with Incomplete Informa...
Computing with Incomplete Information
Year unknown
Andrea Sorbi, S. Barry Cooper, and Mariya Soskova
Fetched from OpenLibrary. Some translations may appear as separate works.