A NOTE ON GENTZENS DECISION PROCEDURE FOR INTUITIONISTIC PROPOSITIONAL LOGIC

被引：3
作者：
DOSEN, K
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1987年 / 33卷 / 05期
关键词：
D O I：
10.1002/malq.19870330509
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：453 / 456
页数：4
相关论文
共 4 条
  • [1] GENTZEN G, 1938, FORSCHUNGEN LOGIK GR, V4, P19
  • [2] Szabo M. E., 1969, COLLECTED PAPERS G G
  • [3] [No title captured]
  • [4] [No title captured]
1