LOGIQUE MATHEMATIQUE - SUR UN THEOREME DE SKOLEM

被引:0
作者
PORTA, H
机构
来源
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES | 1963年 / 256卷 / 25期
关键词
D O I
暂无
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
引用
收藏
页码:5262 / &
相关论文
共 7 条
[1]  
CURRY H, 1952, LECONS LOGIQUE ALGEB, P67
[2]  
Diego A., 1962, REVISTA UMA, V20, P310
[3]  
DIEGO A, 1961, THESIS U BUENOSAIRES
[4]  
Henkin L., 1950, FUND MATH, V37, P63
[5]  
HILBERTBERNAYS, 1939, GRUNDLAGEN MATHEMATI
[6]  
MONTEIRO A, 1955, REV UNION MAT ARGENT, P149
[7]  
SKOLEM T, 1952, REVIST MAT HISPANO A, V12