Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten

 

作者: Helmut Wolter,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1972）
卷期: Volume 18, issue 1‐3  

页码: 13-18

 

ISSN:0942-5616

 

年代: 1972

 

DOI:10.1002/malq.19720180103

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

数据来源: WILEY

 

 

点击下载:  PDF (375KB)

返 回