Decidability of Some Logics with Free Quantifier Variables

 

作者: D. A. Anapolitanos,   J. A. Väänänen,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1981）
卷期: Volume 27, issue 2‐6  

页码: 17-22

 

ISSN:0942-5616

 

年代: 1981

 

DOI:10.1002/malq.19810270202

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

数据来源: WILEY

 

 

点击下载:  PDF (342KB)

返 回