Much shorter proofs: A bimodal investigation
作者:
Alessandra Carbone,
Franco Montagna,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1990)
卷期:
Volume 36,
issue 1
页码: 47-66
ISSN:0942-5616
年代: 1990
DOI:10.1002/malq.19900360107
出版商: WILEY‐VCH Verlag Berlin GmbH
数据来源: WILEY
点击下载:
PDF
(1166KB)
返 回