Proof routines for the propositional calculus.
-
Published:1963-01-01
Issue:2
Volume:4
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Nonstandard Sequent Calculi;Studia Logica;2014-07-03
2. MARGINALIA ON GENTZEN'S SEQUENZEN-KALKÜLE;Contributions to Logic and Methodology in Honor of J. M. Bochenski;2014