(资料图片仅供参考)

1、 数理逻辑与数学基础杂志(德)(Zeitschrift furMathematische Logik and Urundlagen der Mathe-matik ( ZML) ) ( Berlin ) 1955年创刊.刊号:510E0015, ISSN0044-3050.德国VEB DeutscherVerlag der Wissenschaften出版、发行.双月刊.主要刊载有关一般集论、描述集论、关系论、递归函数和其他对数学基础研究有重要意义的研究论文。

2、兼载数理逻辑和递归函数理论在计算机设计及程序设计中应用方面的论文.。