All 2021 2020 2015 2014 2013 2007 2005 2004 2003 Other
All Journal Article Presentation Book
Notre Dame Journal of Formal Logic
Volume: 61 Pages: 591-600
10.1215/00294527-2020-0028
Studia Logica
Volume: 印刷中
Journal of Logic and Computation
Volume: 24 Pages: 117-133
10.1093/logcom/ext005
Volume: -
京都大学数理解析研究所講究録 1533
Pages: 1-8
Research Reports on Mathematical and Computing Sciences C-224
Proceedings of 1st World Congress of Universal Logic
Pages: 93-93
Proceedings of 1st World Congress on Universal logic 2005
Proceedings of 38th MLG meeting at Gamagori
Pages: 53-55
日本数学会2004年度秋季総合分科会,数学基礎論および歴史分科会講演アブストラクト集
Pages: 24-25
Mathematical Logic Quarterly 49・4
Pages: 39-48
Mathematical Logic Quarterly 49-4
Pages: 401-414