Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Pym, David J. and Ritter, Eike. 2004. Reductive Logic and Proof-Search. Proof Theory, Semantics, and Control. Oxford Logic Guides n. 45. Oxford: Oxford University Press.