We have one required text, Hyperproof, by Barwise & Etchemendy, from which the readings in the schedule below come. This book comes with the courseware Hyperproof. Part of the first lecture will provide information needed to crack directly into Hyperproof.