(英)B. 贾维斯(Basil Jarvis)编 (美)马丁·戴维斯(Martin Davis)著 (美)马丁？戴维斯(Martin Davis)著 (英)哈瑞？哈里斯(Harry Harris)著 (英)巴瑞？普维斯(Barry Purves)著 (英)科林·戴维斯(Colin Davies)著