Logics for artificial intelligence (Ellis Horwood series in artificial intelligence) by Raymond Turner | Menrva Books | MenrvaBooks