EINE BEMERKUNG ZU HENKINS BEWEIS FUR DIE VOLLSTANDIGKEIT DES PRADIKATENKALKULS DER ERSTEN STUFE

被引：0

作者：

CHURCH, A

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 02期

关键词：

D O I：

10.2307/2269832

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：268 / &

相关论文

共 1 条

[1]

Hasenjaeger G., 1953, J SYMBOLIC LOGIC, V18, P42, DOI DOI 10.2307/2266326