文献
J-GLOBAL ID:200902181071383730
整理番号:98A0510190
PFAの微弱セグメントに関する記録
A Note on Weak Segments of PFA.
著者 (1件):
MIYAMOTO T
(Nanzan Univ., Nagoya, JPN)
資料名:
Proceedings of the 6th Asian Logic Conference, 1996
(Proceedings of the 6th Asian Logic Conference, 1996)
ページ:
175-197
発行年:
1998年
JST資料番号:
K19980323
ISBN:
981-02-3432-5
資料種別:
会議録 (C)
発行国:
シンガポール (SGP)
言語:
英語 (EN)