This repository is no longer maintained
The homepage of Logic@GU is now hosted by under our github organization logic-gu at https://github.com/logic-gu/logic-gu.github.io.
Homepage for the Logic group at the University of Gothenburg
This repository is no longer maintained
The homepage of Logic@GU is now hosted by under our github organization logic-gu at https://github.com/logic-gu/logic-gu.github.io.
Homepage for the Logic group at the University of Gothenburg