>>299
記号論理学が来年から始まるよ
隈部先生の数学基礎論はあまりにも酷い内容だったから嬉しい
たぶん情報系の内容で数学系をやりたい人はちょっと違うだろうけど