1-2 of 2 Books
Propositional logic
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Parallel logic programming
By Evan Tick