Quantified propositional calculi and fragments of bounded arithmetic
作者:
Jan Krajíček,
Pavel Pudlák,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1990)
卷期:
Volume 36,
issue 1
页码: 29-46
ISSN:0942-5616
年代: 1990
DOI:10.1002/malq.19900360106
出版商: WILEY‐VCH Verlag Berlin GmbH
数据来源: WILEY
点击下载:
PDF
(914KB)
返 回