All 2021 2020 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other
All Journal Article Presentation Book
The Bulletin of Symbolic Logic
Volume: 27 Pages: 168-186
10.1017/bsl.2021.30
Archive sfor Mathematical Logic
Volume: 59 Pages: 257-275
Journal of Symbolic Logic
Volume: 85 Pages: 1163-1185
Proceedings of American Mathematical Society
Volume: 148 Pages: 3567-3582
Proceedings of the American Mathematical Society
Volume: - Pages: 1-1
10.1090/proc/14813
Annals of Pure and Applied Logic
Volume: 印刷中
Annals of the Japan Association for Philosophy of Science
Archive for Mathematical Logic
Gentzen's centenary: the quest of consistency
Volume: なし Pages: 357-424
Archives for Mathematical Logic
Volume: 54 Pages: 531-553
Volume: 54 Pages: 471-485
Volume: 79 Pages: 325354-325354
Volume: 79 Pages: 814825-814825
Proceedings of the 11th Asian Logic Conference
Volume: 1 Pages: 1-21
Volume: 20 Pages: 29-47
Proceedings of the 11th Asian Logic Conference, World Scientific
Pages: 1-21
Volume: 50 Pages: 445-458
Volume: 50 Pages: 395-409
Volume: 162 Pages: 807-815
Annals of Pure and Applied Logic vol.162
Pages: 107-143
Volume: 162 Pages: 107-143
Proofs, Categories and Computations
Pages: 1-14
Proofs, Categories and Computations, College Publications
Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science, College Publications
Pages: 21-35
Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science
Mathematical Logic Quarterly
Volume: 6 Pages: 629-640
Mathematical Logic Quarterly 6
Pages: 629-640
Proceedings of the Japan Academy Ser. A, vol. 84
Pages: 159-161
Prcceedings of the Japan Academy, Ser.A vol.84
ACM Transactions on Computational Logic
Volume: 10 Pages: 1-18
Proceedings of the Japan Academy, Ser.A 84
Mathematical Logic Quarterly vol. 6
Mathematical Logic Quarterly vol.6
Philosophy of Science
Pages: 0-0
科学基礎論研究 107
Pages: 43-51
10018919332
科学基礎論研究 第107号
科学基礎論研究 第107号(印刷中)
Journal of Symbolic Logic vol. 71
Pages: 1155-1188
Journal of Symbolic Logic 41・4
数学 第57巻
Pages: 113-126
10016419271
Archive for Mathematical Logic vol. 44
Pages: 1009-1043
Annals of Pure and Applied Logic vol. 136
Pages: 3-21
Lecture Notes in Computer Science 第3821巻
Pages: 529-540
Annals of Pure and Applied Logic 第136巻
Lecture Notes in Computer Science vol. 3821
Archive for Mathematical Logic 第44巻
Mathematical Logic Quarterly. (掲載決定)
Journal of Mathematical Logic
Volume: (掲載決定)
Proceedings of Logic Methodology, Philosophy of Science (掲載決定)
