This two-volume set includes all 66 published papers of Dr. Larry Wos, one of the world's pioneers in automated reasoning. It presents the strategies introduced by Wos that have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathem…