Read From Logic Design To Logic Programming Theorem Proving Techniques And P Functions

Catering Grazyna Bukowa