GitHub repository: martinpilat/logic-book
Primary language: TeX
Created: 2017-10-05T20:42:26Z
Description: Lecture Notes on Propositional and Predicate Logic