GitHub repository: rzach/phil379
Primary language: TeX
Created: 2015-11-22T00:59:29Z
Description: Textbook for Calgary's Logic II course based on the Open Logic Project