GitHub repository: shd/logic2018
Primary language: TeX
Created: 2018-02-13T21:02:40Z
Description: Materials & home works for IFMO'2018 logic course