López-Escobar, E.G.K.. "Further applications of ultra-conservative ...-rules.." Archiv für mathematische Logik und Grundlagenforschung 22 (1982): 89-102. <http://eudml.org/doc/137994>.
@article{López1982, author = {López-Escobar, E.G.K.}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {proof theory; fan theorem; cut-elimination; König’s lemma; infinite derivations}, pages = {89-102}, title = {Further applications of ultra-conservative ...-rules.}, url = {http://eudml.org/doc/137994}, volume = {22}, year = {1982}, }
TY - JOUR AU - López-Escobar, E.G.K. TI - Further applications of ultra-conservative ...-rules. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1982 VL - 22 SP - 89 EP - 102 KW - proof theory; fan theorem; cut-elimination; König’s lemma; infinite derivations UR - http://eudml.org/doc/137994 ER -