Computability in context computation and logic in the real world - Cooper, S. B. (S. Barry); Sorbi, Andrea, 1956- (Imperial College Press ; World Scientific Pub. Co., 2011)