共 3 条
- [1] Los J., 1958, INDAGATIONES MATH, V20, P177
- [2] Pogorzelski, 1968, STUDIA LOGICA, V23, P43
- [3] WANG H, 1965, Z MATH LOGIK GRUNDLA, V11
STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS
被引：0
作者：
POGORZELSKI, WA
机构：
来源：
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES
|
1971年
/
19卷
/
05期
关键词：
D O I：
暂无
中图分类号：
P1 [天文学];
学科分类号：
0704 ;
摘要：
引用
收藏
页码：349 / +
页数：1
相关论文