Haberthür, R.. "Choice sequences and reduction processes.." Archiv für mathematische Logik und Grundlagenforschung 19 (1978): 31-50. <http://eudml.org/doc/137943>.
@article{Haberthür1978, author = {Haberthür, R.}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {Second-Order Arithmetic; Proof Theory; Systems of Natural Deduction; Intuitionistic Analysis; Strong Normalization Theorem}, pages = {31-50}, title = {Choice sequences and reduction processes.}, url = {http://eudml.org/doc/137943}, volume = {19}, year = {1978}, }
TY - JOUR AU - Haberthür, R. TI - Choice sequences and reduction processes. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1978 VL - 19 SP - 31 EP - 50 KW - Second-Order Arithmetic; Proof Theory; Systems of Natural Deduction; Intuitionistic Analysis; Strong Normalization Theorem UR - http://eudml.org/doc/137943 ER -
