Logical Analysis and Problem Solving