Book

Logics for artificial intelligence

by Raymond Turner