CRITERION OF FUNCTIONAL COMPLETENESS IN INTUITIONISTIC PROPOSITIONAL LOGIC

被引：0
作者：
RATSA, MF
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1971年 / 201卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：794 / &
相关论文
共 20 条
[1]  
CHERCH A, 1960, VVEDENIE MATEMATICHE
[2]  
Gerchiu V. Ya., 1970, Doklady Akademii Nauk SSSR, V195, P1263
[3]  
KUZNETSO.AV, 1965, DOKL AKAD NAUK SSSR+, V160, P274
[4]  
KUZNETSOV AV, 1970, DOKL AKAD NAUK SSSR+, V195, P1029
[5]  
KUZNETSOV AV, 1971, MATEM ISSLEDOVANIYA, V6
[6]  
Mal'tsev AI., 1961, USP MAT NAUK, V16, P77
[7]  
POST E, 1941, 2 VALUED ITERATIVE S
[8]  
RASIOVA H, 1963, MATHEMATICS MATHEMAT
[9]  
RATSA MF, 1966, DOKL AKAD NAUK SSSR+, V168, P524
[10]  
RATSA MF, 1970, MATEM ISSLEDOVANIYA, P171
12