Leseprobe: Logic for Problem Solving, Revisited