2008-11-13 ■ 入手文献 入手文献 Peter Schroeder-Heister “Proof-Theoretic versus Model-Theoretic Consequence,” in M. Peliš ed., The Logica Yearbook 2007, Filosofia, 2008, Draft 彌永昌吉 『数学のまなび方』、ちくま学芸文庫、筑摩書房、2008年 (初版1965年、改訂版1969年)