Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
复制标题
存在于未终结的公理系统之上
DOI：
10.1007/bf01448897
复制
发表时间：
1933
影响因子：
1.4
通讯作者：
G. Gentzen
中科院分区：
文献类型：
--
作者：
G. Gentzen
