Logics in Artificial Intelligence door David Pearce & Craig Macnish