Mathematical Logic and Programming - Hardcover, by Hoare C. A.

Starting Out with Programming Logic & Design Paperback Tony Gaddis

Programming Logic & Design, Comprehensive (MindTap Course List)

Logic Programming Operational Semantics and Proof Theory Andrews Paperback

Andrews - Logic Programming Operational Semantics and Proof Theory - - G555z

Programming Logic and Design, Comprehensive Paperback Joyce Farre VG+

Constraint Logic Programming: Selected Research (Logic Programming) by Benhamou

Programming Logic and Design, Comprehensive - Paperback - VERY GOOD