Logic group resources

• Visit our homepage on gu.se.
• Borrow a book from the Logic Library outside room C569.
• Access the course notes for Logical Theory, an introductory course in logic given in our Master in Logic programme.
• Submit suggestions and corrections for this website at our GitHub repository.
• Write your PhD thesis using the ACTA LaTeX template designed and kindly shared by Rasmus Blanck.
• Read our guide on getting started with LaTeX.