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