First‐Order Formulas in Conjunctive Quantificational Form
作者:
Hans Kleine Büning,
Theodor Lettmann,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1988)
卷期:
Volume 34,
issue 1
页码: 53-64
ISSN:0942-5616
年代: 1988
DOI:10.1002/malq.19880340107
出版商: WILEY‐VCH Verlag Berlin GmbH
数据来源: WILEY
点击下载:
PDF
(767KB)
返 回