BETRACHTUNGEN ZUM SEQUENZEN-KALKUL
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Part III: The original writings;Sources and Studies in the History of Mathematics and Physical Sciences;2017
2. Part I: A sketch of Gentzen’s life and work;Sources and Studies in the History of Mathematics and Physical Sciences;2017
3. A Survey of Nonstandard Sequent Calculi;Studia Logica;2014-07-03
4. Systems of Deduction;Handbook of Philosophical Logic;2001