2008年度卒研
Raymond M. Smullyan: First Order Logic 講読
卒研生
天野 清之
清水 宏紀
竹中 裕貴
中島 陽子
萩原 正隆
橋本 祥和
東野 優紀
牧野 智子
村田 清志
餅原 雄太
山本 渡
吉原 優太郎