GitHub repository: logic-gu/LogicalTheory
Primary language: TeX
Description: Textbook for the Logical Theory course at GU, derived from the Open Logic Textbook