Sutcliffe - Logic for Programming Artificial Intelligence and Reason - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Dershowitz - Logic for Programming Artificial Intelligence and Reaso - X555z

McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International

Logic for Artificial Intelligence and ... by Gabbay, Dov M. Paperback / softback

Logic for Programming, Artificial Intelligence, and Reasoning: 13th by Hermann

Logic for Programming, Artificial Intelligence, and Reasoning