石原 哉  Ishihara Hajime

The Bulletin of Symbolic Logic

巻: 29 号: 3 ページ: 311-353

10.1017/bsl.2023.29

Handbook of Constructive Mathematics

巻: - ページ: 636-660

10.1017/9781009039888.024

Mathematics for Computation (M4C)

巻: - ページ: 143-164

10.1142/9789811245220_0006

Handbook of Constructive Mathematics

巻: - ページ: 221-254

10.1017/9781009039888.010

Handbook of Constructive Mathematics

巻: - ページ: 201-220

10.1017/9781009039888.009

Arch. Math. Logic

巻: 58 ページ: 203-217

Arch. Math. Logic

巻: 57 ページ: 873-888

Indag. Math. (N.S.)

巻: 29 ページ: 1511-1524

Ann. Pure Appl. Logic

巻: 164 ページ: 482-490

120005296336

MLQ Math. Log. Q

巻: 59 ページ: 352-356

In: U. Berger, H. Diener, P. Schuster and M. Seisenberger eds., Logic, Construction, Computation, Ontos Verlag, Frankfurt

ページ: 289-304

Math.Semesterber 57

ページ: 57-72

57

ページ: 57-72

Ann. Pure Appl. Logic (in press)

120004247360

Ann.Pure Appl.Logic (印刷中)

120004247360

J. Symbolic Logic 73

ページ: 1354-1360

120001746753

Journal of Symbolic Logic 73

ページ: 1354-1360

120001746753

New Zealand J. Math. 35

ページ: 183-188

New Zealand J. Math. 35

ページ: 183-188

Ann. PureAppl. Logic 141

ページ: 296-306

Philosophia Scientiae, Cahier special 6

ページ: 43-59

Philosophia Scientiae, Cahier special 6

ページ: 43-59

New Zealand J. Math. 35

ページ: 183-188

Studia Logica 84

ページ: 361-368

Ann. Pure Appl. Logic 141

ページ: 296-306

Ann. Pure Appl. Logic 141

ページ: 296-306

Notre Dame J. Formal Logic 47

ページ: 249-252

Ann. Pure Appl. Logic 141

ページ: 257-265

Notre Dame J. Formal Logic 47

ページ: 249-252

Ann. Pure Appl. Logic 141

ページ: 257-265

Ann. PureAppl. Logic 141

ページ: 257-265

Notre Dame J. Formal Logic 47

ページ: 249-252

From Sets and Types to Analysis and Topology (Oxford Univ.Press)

ページ: 245-267

Oxford Logic Guides 48

ページ: 245-267

MLQ Math. Log. Q. 51

ページ: 360-364

In : L.Crosilla and P. Schuster eds., From Sets and Types to Analysis and Topology, Oxford Univ. Press

ページ: 245-267

J. Symbolic Logic 70

ページ: 969-978

120001746752

Journal of Symbolic Logic (印刷中)

120001746753

Math. Structures Comput. Sci

巻: (to appear)

Lect. Notes Comput. Sci. (印刷中)

120001063235

S.B. Cooper, B. Loewe and A. Sorbi eds., Computation and Logic in the Real World, Lect. Notes Comput. Sci., to appear

120001063235

Synthese Library (印刷中)

In : S. Lindestroem, E. Palmgren, K. Segerberg and V. Stoltenerg-Hansen eds., Logicism, Intuitionism, and Formalism-What has become of them?, Synthese Library, to appear

Log. Methods Comput. Sci

巻: (to appear)

Math. Structures Comput. Sci

巻: (to appear)