ttp://web.sfc.keio.ac.jp/~mukai/2003-mathlogic/
ttp://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/index.html#lectures
ttp://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic7.html