新井敏康 「無矛盾性証明について」、『科学基礎論研究』、34巻、2号、2007年 Ernest Lepore “Truth Conditional Semantics and Meaning”, in: Keith Brown ed., Encyclopedia of Language & Linguistics, Second Edition, vol. 13, Elsevier, 2006 1本目の…