Logic group resources

• Visit our homepage on gu.se.
• Borrow a book from the Logic Library outside room C569.
• Access Logical Theory, our remix of the Open Logic Text.
• Submit suggestions and corrections for this website at our GitHub repository.
• Write your PhD thesis using the ACTA LaTeX template (zip file, 300 kb) designed and kindly shared by Rasmus Blanck.
• Read our guide on getting started with LaTeX.