ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
-
Published:1977-02-28
Issue:2
Volume:31
Page:279-288
-
ISSN:0025-5734
-
Container-title:Mathematics of the USSR-Sbornik
-
language:
-
Short-container-title:Math. USSR Sb.
Subject
General Mathematics
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献