Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Kikuch, Kentaro and Sasaki, Katsumi. 2003. “A Cut-Free Gentzen Formulation of Basic Propositional Calculus.”Journal of Logic, Language, and Information 12(2): 213–225.