{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:28:26Z","timestamp":1648859306543},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"1983-12-01T00:00:00Z","timestamp":439084800000},"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":[[1983,12]]},"DOI":"10.1007\/bf02023007","type":"journal-article","created":{"date-parts":[[2005,8,12]],"date-time":"2005-08-12T12:01:33Z","timestamp":1123848093000},"page":"1-10","source":"Crossref","is-referenced-by-count":4,"title":["Predicate calculus of arbitrarily high finite order"],"prefix":"10.1007","volume":"23","author":[{"given":"M. W.","family":"Bunder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02023007_CR1","volume-title":"The foundations of mathematics","author":"E.W. Beth","year":"1968","unstructured":"Beth, E.W.: The foundations of mathematics. Amsterdam: North-Holland 1968."},{"key":"BF02023007_CR2","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1305\/ndjfl\/1093890997","volume":"XIV","author":"M.W. Bunder","year":"1973","unstructured":"Bunder, M.W.: A deduction theorem for restricted generality. Notre Dame Journal of Formal LogicXIV, 341\u2013346 (1973).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"BF02023007_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1305\/ndjfl\/1093891196","volume":"XV","author":"M.W. Bunder","year":"1974","unstructured":"Bunder, M.W.: Propositional and predicate calculuses based on combinatory logic. Notre Dame Journal of Formal LogicXV, 25\u201334 (1974).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"BF02023007_CR4","volume-title":"Introduction to mathematical logic","author":"A. Church","year":"1956","unstructured":"Church, A.: Introduction to mathematical logic. Princeton: Princeton University Press 1956."},{"key":"BF02023007_CR5","doi-asserted-by":"crossref","first-page":"489","DOI":"10.2307\/2273047","volume":"38","author":"H.B. Curry","year":"1973","unstructured":"Curry, H.B.: The consistency of a system of combinatory restricted generality. J. Symb. Logic38, 489\u2013492 (1973).","journal-title":"J. Symb. Logic"},{"key":"BF02023007_CR6","volume-title":"Combinatory logic, Vol. 1","author":"H.B. Curry","year":"1959","unstructured":"Curry, H.B., Feys, R.: Combinatory logic, Vol. 1. Amsterdam: North-Holland 1959."},{"key":"BF02023007_CR7","volume-title":"Handbook of mathematical logic","author":"M.P. Fourman","year":"1977","unstructured":"Fourman, M.P.: The logic of to poi. In: Barwise, J. (ed.): Handbook of mathematical logic. Amsterdam: North-Holland 1977."},{"key":"BF02023007_CR8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0049-237X(08)71686-0","volume-title":"Formal systems and recursive functions","author":"R. Montague","year":"1965","unstructured":"Montague, R.: Set theory and higher order logic. In: Crossley, J.N., Dummett, M.A.E. (eds.): Formal systems and recursive functions, pp. 131\u2013148. Amsterdam: North-Holland 1965."},{"key":"BF02023007_CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01708855","volume":"40","author":"A. Tarski","year":"1933","unstructured":"Tarski, A.: Einige Betrachtungen \u00fcber die Begriffe der\u03c9-Widerspruchsfreiheit und der\u03c9-Vollst\u00e4ndigkeit. Monatsh. Math. Phys.40, 97\u2013112 (1933).","journal-title":"Monatsh. Math. Phys."},{"key":"BF02023007_CR10","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/S0049-237X(08)71962-1","volume-title":"Logic Colloquium '73 Bristol","author":"J.P. Seldin","year":"1975","unstructured":"Seldin, J.P.: Equality in \u213122. In: Rose, H.E., Shepherdson (eds.): Logic Colloquium '73 Bristol, pp. 433\u2013444. Amsterdam: North-Holland 1975."},{"key":"BF02023007_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1305\/ndjfl\/1093887826","volume":"XVIII","author":"J.P. Seldin","year":"1977","unstructured":"Seldin, J.P.: TheQ-consistency of \u213122. Notre Dame Journal of Formal LogicXVIII, 117\u2013127 (1977).","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023007.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02023007\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:39:56Z","timestamp":1557787196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02023007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["BF02023007"],"URL":"https:\/\/doi.org\/10.1007\/bf02023007","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}