鈴木 登志雄  SUZUKI Toshio

数理解析研究所講究録

巻: 2228 ページ: 148-167

Computability Theory and Foundations of Mathematics

巻: - ページ: 97-121

10.1142/9789811259296_0005

Transactions on Engineering Technologies

巻: 1 ページ: 182-193

10.1007/978-981-32-9808-8_15

CEUR Workshop Proceedings

巻: 2116 ページ: 68-75

Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2018, IMECS 2018, 14-16 March, 2018, Hong Kong

巻: 1

Information Processing Letters

巻: 139 ページ: 13-17

10.1016/j.ipl.2018.06.013

Annals of the Japan Association for Philosophy of Science

巻: 25

130006069121

IAENG International Journal of Applied Mathematics

巻: 46 ページ: 187-193

Information and Computation

巻: - ページ: 227-248

10.1016/j.ic.2015.03.004

京都大学数理解析研究所講究録

巻: 1950 ページ: 34-39

Annals of Pure and Applied Logic

巻: 166 号: 11 ページ: 1150-1164

10.1016/j.apal.2015.07.002

IAENG Transactions on Engineering Sciences

巻: special issue ページ: 91-100

10.1201/b16763-10

Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013

巻: 1

The Bulletin of Symbolic Logic

巻: 19

IAENG Transactions on Electrical Engineering

巻: 1 ページ: 70-83

IAENG International Journal of Applied Mathematics

巻: 42 ページ: 122-128

Lecture Notes in Engineering and Computer Science : Proceedings of IMECS 2012

ページ: 194-199

京都大学数理解析研究所講究録

巻: 1729 ページ: 111-116

Proceedings of the 11th Asian Logic Conference

ページ: 128-146

京都大学数理解析研究所講究録

巻: 1729 ページ: 95-110

Bulletin of Symbolic Logic

巻: 16 ページ: 295-296

Archive for Mathematical Logic 47

ページ: 159-180

Archive for Mathematical Logic

巻: 47 ページ: 159-180

IEICE Trans. Fundamentals Vol.E90-A, No.1

ページ: 128-138

京都大学数理解析研究所講究録 1533

ページ: 9-14

算術体系の証明論(Proof theory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553

ページ: 9-14

Proof theory of arithmetic, Kyoto 2007 1553

ページ: 9-14

算術体系の証明論(Prooftheory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553

ページ: 9-14

Surikaisekikenkyusho-kokyuroku 1533

ページ: 9-14

数理解析研究所講究録 1533

ページ: 9-14

京都大学数理解析研究所講究録 1442

ページ: 42-47

Archive for Mathematical Logic (掲載予定)

Surikaisekikenkyusho-kokyutoku 1422

ページ: 8-41

京都大学数理解析研究所講究録 1442

ページ: 42-47

Surikaisekikenkyusho-kokyuroku 1422

ページ: 42-47

京都大学数理解析研究所講究録 1442

ページ: 8-41

Theoretical Computer Science 347

ページ: 90-129

Theoretical Computer Science 347

ページ: 90-129

京都大学数理解析研究所講究録 1442

ページ: 8-41

Archive for Mathematical Logic 44

ページ: 751-762

Archive for Mathematical Logic 44

ページ: 751-762

Exploring New Frontiers of Theoretical Informatics (単行本)

ページ: 81-95

Theoretical Computer Science 347

ページ: 90-129