18:13:22
В этом семестре начался довольно занятный курс по теории доказательств в НМУ. Вечером по вторникам - как раз успеваю.