知識としては30講に書いてあるくらいでほとんど間に合うと思う。
あとは公理に従った形式的議論を使いこなせるよう演習しておけば十分。

・・・なんて書いたらたたかれそうだな。
おれのリアルな現状なんだがorz