2007-10-31 AMIL (5) @昨日 勉強会合 《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》23-30 Exercises は、やっぱり宿題になった。ちゃんとやろう。