Kowalski R. Logic for Problem Solving, Revisited 2014 - 11.37 MB