The inter-deducibility of the new Hilbert-Bernays theory and Principia Mathematical
成果类型：
Article
署名作者：
Von Huntington, E
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
发表日期：
1935
页码：
313-324
关键词：