-
[文献書誌] K.Tanaka,T.Yamazaki: "A non-standard construction of Haar measure and WKLo" Journal of Symbolic Logic. (印刷中). (1999)
-
[文献書誌] M.Takahashi: "Lambda-representable functions over free structures revisited" Proc.of 3rd Fuji Int.Symp.on Func.and Logic Programming. 1-19 (1998)
-
[文献書誌] G.Takeuti,M.Yasumoto: "Forcing on Bounded Avithmetic II" Journal of Symbolic Logic. 63. 860-868 (1998)
-
[文献書誌] S.Hirokawa: "Infiniteness of proof(alpha)is polynomial-space complete" Theoretical Computer Science. 206・1-2. 331-339 (1998)
-
[文献書誌] M.Tatsuta: "Realizability for Constractive Theory of Functions and Classes and Its Application to progranc Synthesis" Proc.of 13th Ann.IEEE Symp.Logic in CS. 358-367 (1998)
-
[文献書誌] R.Kashima,N.Kamide: "Substructural implicational logic includiog the relevant logic E" Studia Loyica. (印刷中). (1999)
-
[文献書誌] M.Takahashi,M.Dezani,M.Okada: "Theories of Types and Proofs" 日本数学会(MSJ-Memoirs Vol.2), 295 (1998)
-
[文献書誌] 田中 一之: "数学の基礎をめぐる論争" シュプリンガー フェアラーク東京, 224 (1999)