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.