2007-12-07 AMIL (13) @2007/11/30金 勉強会合 《Herbert B. Enderton, A Mathematical Introduction to Logic: Second Edition, isbn:0122384520》72-9