すべて 2015 2014 2013 2007 2005 2004 2003 その他
すべて 雑誌論文 学会発表 図書
Studia Logica
巻: 印刷中
Journal of Logic and Computation
巻: 24 ページ: 117-133
10.1093/logcom/ext005
巻: -
京都大学数理解析研究所講究録 1533
ページ: 1-8
Research Reports on Mathematical and Computing Sciences C-224
Proceedings of 1st World Congress of Universal Logic
ページ: 93-93
Proceedings of 1st World Congress on Universal logic 2005
Proceedings of 38th MLG meeting at Gamagori
ページ: 53-55
日本数学会2004年度秋季総合分科会,数学基礎論および歴史分科会講演アブストラクト集
ページ: 24-25
Mathematical Logic Quarterly 49・4
ページ: 39-48
Mathematical Logic Quarterly 49-4
ページ: 401-414
