{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T10:32:49Z","timestamp":1676889169689},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1978,12]]},"DOI":"10.1007\/bf02011866","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T13:32:17Z","timestamp":1123767137000},"page":"31-49","source":"Crossref","is-referenced-by-count":1,"title":["Choice sequences and reduction processes"],"prefix":"10.1007","volume":"19","author":[{"given":"R.","family":"Haberth\u00fcr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011866_CR1","volume-title":"Normalisationss\u00e4tze f\u00fcr intuitionistische Theorien Wahlfolgen","author":"R. Haberth\u00fcr","year":"1976","unstructured":"Haberth\u00fcr, R.: Normalisationss\u00e4tze f\u00fcr intuitionistische Theorien Wahlfolgen. Dissertation, Basel 1976."},{"key":"BF02011866_CR2","volume-title":"Natural deduction. A proof-theoretical study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural deduction. A proof-theoretical study. Stockholm: Almquist & Wiksell 1965."},{"key":"BF02011866_CR3","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D.: Ideas and results in proof theory, ed., J. E. Fenstad. Proceedings of the Second Scandinavian Logic Symposium, pp. 235\u2013307. Amsterdam: North-Holland 1971."},{"key":"BF02011866_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0068783","volume-title":"Proof theory and intuitionistic systems. Lecture Notes in Mathematics, Vol. 212","author":"B. Scarpellini","year":"1971","unstructured":"Scarpellini, B.: Proof theory and intuitionistic systems. Lecture Notes in Mathematics, Vol. 212. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02011866_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0003-4843(72)90014-9","volume":"4","author":"B. Scarpellini","year":"1972","unstructured":"Scarpellini, B.: Induction and transfinite induction in intuitionistic systems. Annals of Mathematical Logic4, 173\u2013227 (1972).","journal-title":"Annals of Mathematical Logic"},{"key":"BF02011866_CR6","volume-title":"Lecture Notes in Mathematics, Vol. 500","author":"B. Scarpellini","year":"1975","unstructured":"Scarpellini, B.: Bemerkungen zu Regel und Schema. Proof theory symposion, Kiel 1974, Proceedings, eds. J. Diller and G. H. M\u00fcller. Lecture Notes in Mathematics, Vol. 500. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02011866_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","author":"A.S. Troelstra","year":"1973","unstructured":"Troelstra, A.S., et al.: Metamathematical investigation of intuitionistic arithmetic and analysis. Lecture Notes in Mathematics, Vol. 344. Berlin, Heidelberg, New York: Springer 1973."},{"key":"BF02011866_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(74)90010-2","volume":"7","author":"J.I. Zucker","year":"1974","unstructured":"Zucker, J.I.: The correspondence between cut-elimination and normalization. Annals of Mathematical Logic7, 1\u2013155 (1974).","journal-title":"Annals of Mathematical Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011866.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011866\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:24:58Z","timestamp":1557771898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011866"],"URL":"https:\/\/doi.org\/10.1007\/bf02011866","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}