Logic for programming artificial intelligence and reasoning by Moshe Y. Vardi | Menrva Books | MenrvaBooks