すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 その他
すべて 雑誌論文 学会発表
京都大学数理解析研究所講究録
巻: 2119 ページ: 17-22
14th & 15th Asian Logic Conference Proceedings, World Scientific
巻: なし ページ: 168-174
巻: 2079 ページ: 13-20
巻: 2084 ページ: 10-20
巻: 2002 ページ: 54-60
Proceedings of the 13th Asian Logic Conference, World Scientific
巻: - ページ: 105-113
巻: 1938 ページ: 4-9
巻: - ページ: 114-123
Proceedings of the 13th Asian Logic Conference
巻: なし ページ: 105-113
巻: 1 ページ: 114-123
巻: なし ページ: 114-123
巻: 1888 ページ: 28-34
Archive for Mathematical Logic
巻: 51
巻: -
Archive for Mathematical Logic 51
巻: no.1 ページ: 203-211
巻: 1794 ページ: 28-42
巻: no.5 ページ: 591-600
京都大学数理解析研究所講究録に (掲載決定)
巻: 1741
巻: 1741 ページ: 1-8
巻: 1741 ページ: 9-12
Proceedings of the 10th Asian logic conference
ページ: 214-226
Mathematical Logic Quarterly 56
ページ: 257-261
Mathematical Logic Quarterlyに掲載確定 56巻
Proceedings of the 10th Asian logic conference, World Scientific
Journal of Symboloc Logic 74 no.3
ページ: 721-733
journal of Symbolic Logic 74
Journal of Symbolic Logic Vol.74
J.Symb.Log. 74, No. 3
Journal of Symbolic Logic 74, No.3
Journal of Symbolic Logic 第74巻3号(掲載確定)
Journal of Symboloc Logic 74巻
数理解析研究所講究録 1602
ページ: 74-84
ページ: 85-89
ページ: 22-25
京都大学数理解析研究所講究録 1602
京都大学数理解析研究所講究録 (掲載決定)
Kokyuroku of RIMS 1555
ページ: 104-109
京都大学数理解析研究所講究録 1555
都大学数理解析研究所講究録 1555
数理解析研究所講究録 1555
京都大学数理解析研究所講究録 第1555巻
京都大学数理解析研究所講究録 525
ページ: 5-14
Mathematical Bulletin of the Graduate School of Science, Josai University 9
ページ: 55-66
数理解析研究所講究録 1469
ページ: 86-91
Kokyuroku of RIMS 1525
Mathematical Bulletin of the Graduate School of Science, Josai University 9号
Kokyuroku of RIMS 1469
数理解析研究所講究録 1525
Mathematical Bulletin of the Graduate School of Science, Josai University no.9
京都大学数理解析研究所講究録 (掲載予定)
ページ: 6-6
Journal of the Mathematical Society of Japan 57
ページ: 1229-1234
10017178248
京都大学数理解析研究所講究録 1450
ページ: 63-68
ページ: 69-74
数理解析研究所講究録 1450
Kokyuroku of RIMS 1450
Journal of the Mathematical Society of Japan 57巻4号
ページ: 1229-1334
Journal of the Mathematical Society of Japan (掲載予定)
Journal of the Mathematical Society of Japan vol.57, No.4
京都大学数理解析研究所講究録 1390
ページ: 9-17
Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1390
数理解析研究所講究録 1390
Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1344
ページ: 33-39
数理解析研究所講究録 1344
Notre Dame Journal of Formal Logic 43
ページ: 249-254
Bulletin of Toyota National College of Technology 35
ページ: 321-324
110000468659
Notre Dame Journal of Formal Logic, 43
数理解析研究所講究録 1283
ページ: 55-60
豊田高専研究紀要 35
Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1283
数理解析研究所講究録 (掲載確定)
Journal of Symbolic Logic (掲載確定)