新井 敏康  Arai Toshiyasu

Archives for Mathematical Logic

巻: 62 ページ: 333-357

Archives for Mathematical Logic

巻: - 号: 3-4 ページ: 333-357

10.1007/s00153-022-00840-8

The Bulletin of Symbolic Logic

巻: 27 号: 2 ページ: 168-186

10.1017/bsl.2021.30

Archive sfor Mathematical Logic

巻: 59 ページ: 257-275

Journal of Symbolic Logic

巻: 85 ページ: 1163-1185

Proceedings of American Mathematical Society

巻: 148 ページ: 3567-3582

Proceedings of the American Mathematical Society

巻: - 号: 8 ページ: 1-1

10.1090/proc/14813

Annals of Pure and Applied Logic

巻: 印刷中

Annals of the Japan Association for Philosophy of Science

巻: 印刷中

Archive for Mathematical Logic

巻: 印刷中

Gentzen's centenary: the quest of consistency

巻: なし ページ: 357-424

Archives for Mathematical Logic

巻: 54 ページ: 531-553

Archives for Mathematical Logic

巻: 54 ページ: 471-485

Journal of Symbolic Logic

巻: 79 ページ: 325354-325354

Journal of Symbolic Logic

巻: 79 ページ: 814825-814825

Proceedings of the 11th Asian Logic Conference

巻: 1 ページ: 1-21

Annals of the Japan Association for Philosophy of Science

巻: 20 ページ: 29-47

Proceedings of the 11th Asian Logic Conference, World Scientific

ページ: 1-21

Archive for Mathematical Logic

巻: 50 ページ: 445-458

Archive for Mathematical Logic

巻: 50 ページ: 395-409

Annals of Pure and Applied Logic

巻: 162 ページ: 807-815

Annals of Pure and Applied Logic vol.162

ページ: 107-143

Annals of Pure and Applied Logic

巻: 162 ページ: 107-143

Annals of Pure and Applied Logic

巻: 162 ページ: 107-143

Proofs, Categories and Computations

ページ: 1-14

Proofs, Categories and Computations, College Publications

ページ: 1-14

Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science, College Publications

ページ: 21-35

Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science

ページ: 21-35

Mathematical Logic Quarterly

巻: 6 ページ: 629-640

Mathematical Logic Quarterly 6

ページ: 629-640

Proceedings of the Japan Academy Ser. A, vol. 84

ページ: 159-161

Prcceedings of the Japan Academy, Ser.A vol.84

ページ: 159-161

ACM Transactions on Computational Logic

巻: 10 ページ: 1-18

Proceedings of the Japan Academy, Ser.A 84

ページ: 159-161

Mathematical Logic Quarterly vol. 6

ページ: 629-640

Mathematical Logic Quarterly vol.6

ページ: 629-640

Mathematical Logic Quarterly 6

ページ: 629-640

Philosophy of Science

ページ: 0-0

科学基礎論研究 107

ページ: 43-51

10018919332

科学基礎論研究 第107号

ページ: 43-51

10018919332

科学基礎論研究 第107号(印刷中)

10018919332

Journal of Symbolic Logic vol. 71

ページ: 1155-1188

Journal of Symbolic Logic 41・4

ページ: 1155-1188

数学 第57巻

ページ: 113-126

10016419271

Archive for Mathematical Logic vol. 44

ページ: 1009-1043

Annals of Pure and Applied Logic vol. 136

ページ: 3-21

Lecture Notes in Computer Science 第3821巻

ページ: 529-540

Annals of Pure and Applied Logic 第136巻

ページ: 3-21

数学 第57巻

ページ: 113-126

10016419271

Lecture Notes in Computer Science vol. 3821

ページ: 529-540

Archive for Mathematical Logic 第44巻

ページ: 1009-1043

Mathematical Logic Quarterly. (掲載決定)

Journal of Mathematical Logic

巻: (掲載決定)

Proceedings of Logic Methodology, Philosophy of Science (掲載決定)