2007-11-14 AMIL (7) @昨日 勉強会合 《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》34-8 着実に進んではいる。が、kugyo も忙しいらしく、ちょっとどうなるか分からないみたい。