GitHub repository: wouter-swierstra/logic-notes
Primary language: TeX
Created: 2020-10-23T13:32:20Z
Description: Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.