2007-10-21 AMIL (2) @2007/10/18 勉強会合 《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》11-6