NOTE ON CUT ELIMINATION AND COMPLETENESS IN FIRST-ORDER THEORIES

被引：0
|
作者：
BOWEN, KA
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1972年 / 18卷 / 02期
关键词：
D O I：
10.1002/malq.19720180807
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：173 / &
相关论文
共 50 条
12345