Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen

 

作者: Michael Deutsch,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1980）
卷期: Volume 26, issue 1‐6  

页码: 1-32

 

ISSN:0942-5616

 

年代: 1980

 

DOI:10.1002/malq.19800260102

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

数据来源: WILEY

 

 

点击下载:  PDF (1676KB)

返 回