文献
J-GLOBAL ID:202102226618730480
整理番号:21A0436652
集合の厳密補完と構成的理論【JST・京大機械翻訳】
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
著者 (2件):
EMMENEGGER JACOPO
(DEPARTMENT OF MATHEMATICS STOCKHOLM UNIVERSITY SWEDEN E-mail: j.j.emmenegger@bham.ac.uk Current address: SCHOOL OF COMPUTER SCIENCE UNIVERSITY OF BIRMINGHAM, UK)
,
PALMGREN ERIK
(DEPARTMENT OF MATHEMATICS STOCKHOLM UNIVERSITY SWEDEN)
資料名:
Journal of Symbolic Logic
(Journal of Symbolic Logic)
巻:
85
号:
2
ページ:
563-584
発行年:
2020年
JST資料番号:
W5435A
ISSN:
0022-4812
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)