Art
J-GLOBAL ID：201102111602086204
Reference number：11A0280077
An independence result on weak second order bounded arithmetic
弱い2次有界算法に関する独立した結果
-
Publisher site
Copy service
-
Access JDreamⅢ for advanced search and analysis.
Author (1)：
Material：
Volume：
47
Issue：
2
Page：
183-186
Publication year：
2001
JST Material Number：
O4540A
ISSN：
0942-5616
Document type：
Article
Country of issue：
Other (ZZZ)
Language：
ENGLISH (EN)
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Return to Previous Page
