Logic for Programming, Artificial Intelligence, and Reasoning

Includes supplementary material: sn.pub/extras