Book

Logics in artificial intelligence

by Michael Fisher, Alexei Lisitsa