Title: The logic of using automated reasoning
Abstract: Many ask: "Is there any mathematical problem that has been solved using automated reasoning?" The goal of this course is to provide a full, detailed, complete answer to this frequent question. I hope by the end of the course everyone will know that many problems have been solved, and also that automated reasoning is an extremelly helpful tool for the working mathematician.