Conservative Extension in Relevant Arithmetic
作者:
Robert K. Meyer,
Igor Urbas,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1986)
卷期:
Volume 32,
issue 1‐5
页码: 45-50
ISSN:0942-5616
年代: 1986
DOI:10.1002/malq.19860320106
出版商: WILEY‐VCH Verlag Berlin GmbH
数据来源: WILEY
点击下载:
PDF
(425KB)
返 回