2007-11-09 AMIL (6) @昨日 勉強会合 《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》30-3, Exercises: 1.2 - 1-4 Exercises の進捗状況も書こうと思うけれど、もしかしたら煩雑になってやめるかも知れない。