Logic@GU
Homepage of the Logic Group at the University of Gothenburg.
Group
Seminars
NOL Seminar
Lindström Lectures
Master in Logic
Activities
Resources
Logic group resources
Link to our
group page on GU.se
.
Submit new posts and corrections at our
GitHub repository
Write your thesis using the
ACTA LaTeX template
(zip file, 300 kb) designed and kindly shared by Rasmus Blanck.