CERTAIN ALGORITHMS IN A FORMAL ARITHMETICAL SYSTEM

被引：0
作者：
TSINMAN, LL
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1969年 / 189卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：489 / &
相关论文
共 4 条
[1]  
GENTZEN G, 1954, ARCH MATH LOGIK GRUN, V2, P27
[2]  
HILBERT D, 1934, GRUNDLAGEN MATHEMATI, V1, P263
[3]  
NOVIKOV PS, 1949, DOKL AKAD NAUK SSSR+, V64, P457
[4]  
NOVIKOV PS, 1949, DOKL AKAD NAUK SSSR+, V64, P293
1