期刊
JOURNAL OF SYMBOLIC LOGIC
卷 66, 期 1, 页码 1-55出版社
ASSN SYMBOLIC LOGIC INC
DOI: 10.2307/2694910
关键词
Ramsey's Theorem; conservation; reverse mathematics; recursion theory; computability theory
类别
© Peeref 2019-2024. All rights reserved.