math_logic Homeworks for math logic course in ITMO University. Tasks: https://github.com/shd/logic2018/blob/master/hw-practice.pdf