{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:29Z","timestamp":1725662969847},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111573"},{"type":"electronic","value":"9783540386216"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-11157-3_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:37:02Z","timestamp":1330191422000},"page":"361-389","source":"Crossref","is-referenced-by-count":0,"title":["Role of a notion of algorithm in the arithmetic language semantics"],"prefix":"10.1007","author":[{"given":"N. A.","family":"Shanin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"3","key":"12_CR1","first-page":"226","volume":"9","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1954","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u043d\u0435\u043f\u0440\u0435\u0440\u044b\u0432\u043d\u043e\u0441\u0442\u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u0423\u0441\u043f\u0435\u0445\u0438 \u043c\u0430\u0442\u0435\u043c.\u043d\u0430\u0443\u043a,1954,9,No3 (61),226\u2013230.","journal-title":"\u0423\u0441\u043f\u0435\u0445\u0438 \u043c\u0430\u0442\u0435\u043c.\u043d\u0430\u0443\u043a"},{"key":"12_CR2","first-page":"8","volume":"67","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1962","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0435. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442. AH CCCP,1962,67,8\u201314.(English transl.: Amer.Math.Soc.Transl.(2), 1971,98,1\u201310).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442. AH CCCP"},{"key":"12_CR3","unstructured":"Kleene S.C. Introduction to metamathematics. New York-Toronto,1952."},{"key":"12_CR4","first-page":"261","volume":"1","author":"A. Tarski","year":"1935","unstructured":"Tarski A. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica,1935,1,261\u2013405.","journal-title":"Studia Philosophica"},{"key":"12_CR5","unstructured":"Smullyan R.M. Theory of formal systems. Princeton,N.J., 1963."},{"key":"12_CR6","unstructured":"Goodstein R.L. Recursive number theory. Amsterdam,1957."},{"issue":"4","key":"12_CR7","first-page":"646","volume":"32","author":"\u0410.\u041d. \u041a\u043e\u043b\u043c\u043e\u0433\u043e\u0440\u043e\u0432","year":"1925","unstructured":"\u041a\u043e\u043b\u043c\u043e\u0433\u043e\u0440\u043e\u0432 \u0410.\u041d. \u041e \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435 non datur. \u041c\u0430\u0442\u0435\u043c. \u0441\u0431.,1925,32,No4,646\u2013667. (English transl.in[40],414\u2013437).","journal-title":"\u041c\u0430\u0442\u0435\u043c. \u0441\u0431."},{"key":"12_CR8","unstructured":"Wang H. Introductory notes to the English translation of [7] in [40],414\u2013416."},{"key":"12_CR9","first-page":"957","volume":"16","author":"A. Heyting","year":"1930","unstructured":"Heyting A. Sur la logique intuitionniste. Bull.Acad.Sci. Belgique,1930,16,957\u2013963.","journal-title":"Bull.Acad.Sci. Belgique"},{"key":"12_CR10","unstructured":"Heyting A. Die formalen Regeln der intuitionistischen Logik. Sitzungsber.Preuss.Acad.Wiss., phis.-math.Kl., 1930,42\u201356."},{"key":"12_CR11","unstructured":"Die formalen Regeln der intuitionistischen Mathematik. Ibid., 57\u201371,158\u2013169."},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/BF01186549","volume":"35","author":"A. Kolmogororff","year":"1932","unstructured":"Kolmogororff A. Zur Deutung der intuitionistischen Logik. Math.Zeitschr.,1932,35,No1,58\u201365.","journal-title":"Math.Zeitschr."},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen G. Die Widerspruchsfreiheit der reinen Zahlen-theorie.Math.Ann.,1936,112, No4,493\u2013565.","journal-title":"Math.Ann."},{"key":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"P. Lorenzen","year":"1955","unstructured":"Lorenzen P. Einf\u00fchrung in die operative Logik und Mathematik. Berlin, Springer-Verlag,1955."},{"issue":"4","key":"12_CR15","first-page":"477","volume":"98","author":"A.A. Markov","year":"1971","unstructured":"Markov A.A. Essai de construction d'une logique de la math\u00e9matique constructive. Revue Internat.Philos.,Bruxelles, 1971,98,4,477\u2013507.","journal-title":"Revue Internat.Philos.,Bruxelles"},{"issue":"I","key":"12_CR16","first-page":"40","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0435 \u042f\u043e. \u0414\u043e\u043a\u0434.\u0410\u041d \u0421\u0421\u0421\u0420,1974,214,NoI,40\u201343. (English transl.: Soviet Math.Dokl.,15,38\u201340).","journal-title":"\u0414\u043e\u043a\u0434.\u0410\u041d \u0421\u0421\u0421\u0420"},{"issue":"2","key":"12_CR17","first-page":"279","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0435 \u042f1. \u0414\u043e\u043a\u0434.\u0410\u041d \u0421\u0421\u0421\u0420,1974,214,No2, 279\u2013282. (English transl.: ibid.,125\u2013129).","journal-title":"\u0414\u043e\u043a\u0434.\u0410\u041d \u0421\u0421\u0421\u0420"},{"issue":"3","key":"12_CR18","first-page":"513","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0435 \u042f2. \u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420,1974,214,No3, 513\u2013516. (English transl.: ibid.,184\u2013189).","journal-title":"\u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420"},{"issue":"4","key":"12_CR19","first-page":"765","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0435 \u042f3. \u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420,1974,214,No4, 765\u2013768. (English transl.: ibid.,242\u2013247).","journal-title":"\u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420"},{"issue":"5","key":"12_CR20","first-page":"1031","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0430\u0445 \u042f4,\u042f5,.... \u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0440,1974,214, No5,1031\u20131034.(English transl.: ibid.,313\u2013318).","journal-title":"\u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0440"},{"issue":"6","key":"12_CR21","first-page":"1262","volume":"214","author":"\u0410.\u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1974","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. \u041e \u044f\u0437\u044b\u043a\u0435 \u042f\u03b8. \u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420,1974,214,No6, 1262\u20131264.(English transl.: ibid.,356\u2013360).","journal-title":"\u0414\u043e\u043a\u043b.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR22","first-page":"348","volume":"72","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1964","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041a \u0432\u043e\u043f\u0440\u043e\u0441\u0443 \u043e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u043c \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0438 \u043e\u043f\u043e\u0440\u043d\u044b\u0445 \u0444\u043e\u0440\u043c\u0443\u043b. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1964,72,348\u2013379. (English transl.: Amer.Math.Soc.Transl. (2),1972,99,233\u2013275).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR23","first-page":"203","volume":"129","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1973","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041e\u0431 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u0441\u0443\u0436\u0434\u0435\u043d\u0438\u0439 \u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0435. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1973,129,203\u2013266.(English transl.: Proc.Steklov Inst.Math.,1973,129,209\u2013271).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR24","first-page":"241","volume":"16","author":"G. Kreisel","year":"1951","unstructured":"Kreisel G. On the interpretation of non-finitist proofs. I.Journ.Symb.Logic,1951,16,241\u2013267.","journal-title":"I.Journ.Symb.Logic"},{"key":"12_CR25","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1090\/S0002-9947-1943-0007371-8","volume":"53","author":"S.C. Kleene","year":"1943","unstructured":"Kleene S.C. Recursive predicates and quantifiers.Trans. Amer.Math.Soc.,1943,53,41\u201373.","journal-title":"Trans. Amer.Math.Soc."},{"issue":"4","key":"12_CR26","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene S.C. On the interpretation of intuitionistic number theory. Journ.Symb.Logic.,1945,10,No4,109\u2013123.","journal-title":"Journ.Symb.Logic."},{"key":"12_CR27","unstructured":"Kleene S.C. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse,1960,No11\u201312,154\u2013165."},{"key":"12_CR28","first-page":"226","volume":"52","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1958","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u043c \u043f\u043e\u043d\u0438\u043c\u0430\u0438\u0438\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0443\u0436\u0414\u0435\u043d\u0438\u0439. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1958,52,226\u2013311. (English transl.: Amer.Math.Soc.Transl.(2),1963,23,109\u2013189).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR29","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1002\/malq.19580041703","volume":"4","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1958","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041e\u0431 \u0430\u043b\u0433\u043e\u0440\u0438\u0444\u043c\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0440\u0430\u0441\u0448\u0438\u0444\u0440\u043e\u0432\u043a\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0443\u0437\u0434\u0435\u043d\u0438\u0439.(Zeitschr.math.Logik Grundl.Math.,1958,4,293\u2013303.","journal-title":"Zeitschr.math.Logik Grundl.Math."},{"key":"12_CR30","first-page":"15","volume":"67","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1962","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u0432\u0435\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430 \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u0431\u043d\u044b\u0435 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420, 1962,67,15\u2013294.(English transl.: Transl.Math.Monographs,Amer. Mathem.Soc.,Providence,R.I.,1968,vol.21).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen G. Untersuchungen \u00fcber das logische Schliessen. Mathem.Zeitschr.,1934,39,176\u2013210,405\u2013431.","journal-title":"Mathem.Zeitschr."},{"key":"12_CR32","first-page":"383","volume":"72","author":"\u0413.\u0415. \u041c\u0438\u043d\u0446","year":"1964","unstructured":"\u041c\u0438\u043d\u0446 \u0413.\u0415. \u041e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043d\u044b\u0445 \u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043d\u044b\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430\u0445 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0442\u0435\u043e\u0440\u0438\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420, 1964,72,383\u2013436. (English transl.:Amer.Math.Soc.Transl.,1972, 100,1\u201368).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR33","first-page":"228","volume":"72","author":"\u0410.\u0412. \u0418\u0434\u0435\u043b\u044c\u0441\u043e\u043d","year":"1964","unstructured":"\u0418\u0434\u0435\u043b\u044c\u0441\u043e\u043d \u0410.\u0412. \u0418\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0447 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438 \u0441 \u043f\u043e\u0434\u0447\u0438\u043d\u0435\u043d\u043d\u044b\u043c\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c\u0438. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1964,72,228\u2013343. (English transl.: Amer.Math.Soc.Transl.,1972,99).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR34","first-page":"106","volume":"93","author":"\u0410.\u0412. \u0418\u0434\u0435\u043b\u0431\u0441\u043e\u043d","year":"1967","unstructured":"\u2014 \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u044f \u043e\u0431 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f\u0445 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438 \u0441 \u043f\u043e\u0434\u0447\u0438\u043d\u0435\u043d\u043d\u044b\u043c\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c\u0438 \u0438 \u0430\u043a\u0441\u0438\u043e\u043c\u043e\u0439 \u043f\u043e\u043b\u043d\u043e\u0439 \u0438\u043d\u0434\u0443\u043a\u0446\u0438\u0438. \u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1967, 93,106\u2013112.(English transl.: Proc.Steklov Inst.Math.,1967,93).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"issue":"2","key":"12_CR35","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1090\/S0002-9947-1947-0025420-1","volume":"61","author":"D. Nelson","year":"1947","unstructured":"Nelson D. Recursive functions and intuitionistic number theory. Trans.Amer.Math.Soc.,1947,61,No2,307\u2013368.","journal-title":"Trans.Amer.Math.Soc."},{"issue":"3\/4","key":"12_CR36","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del K. \u00dcber eine bisher noch nicht benutzte Erweiterung des finiten Standpuktes. Dialectica,1958,12,No3\/4,280\u2013287.","journal-title":"Dialectica"},{"key":"12_CR37","unstructured":"Herbrand J. Recherches sur la th\u00e9orie de la demonstration. Travaux Soc.Sci.et Let.Varsovie,Cl.III,1930,33."},{"key":"12_CR38","first-page":"12","volume":"24","author":"J. Herbrand","year":"1931","unstructured":"Herbrand J. Sur le probl\u00e9me fondamental de la logique math\u00e9matique. Comp.Rend.Soc.Sci.Varsovie,Cl. III,1931,24,12\u201356.","journal-title":"Comp.Rend.Soc.Sci.Varsovie,Cl."},{"key":"12_CR39","first-page":"142","volume":"40","author":"\u041d.\u0410. \u0428\u0430\u043d\u0438\u043d","year":"1974","unstructured":"\u0428\u0430\u043d\u0438\u043d \u041d.\u0410. \u041e\u0431 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u043e\u0432 \u0411\u0440\u0430\u0443\u044d\u0440\u0430. \u0417\u0430\u043f.\u043d\u0430\u0443\u0447\u043d.\u0441\u0435\u043c\u0438\u043d\u0430\u0440\u043e\u0432 \u041b \u0435\u043d\u0438\u043d\u0433\u0440.\u043e\u0442 \u0434.\u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1974,40,142\u2013147. (English transl.:Journ.Soviet Mathem.,1977,8).","journal-title":"\u0417\u0430\u043f.\u043d\u0430\u0443\u0447\u043d.\u0441\u0435\u043c\u0438\u043d\u0430\u0440\u043e\u0432 \u041b \u0435\u043d\u0438\u043d\u0433\u0440.\u043e\u0442 \u0434.\u041c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR40","first-page":"51","volume":"49","author":"\u0413.\u042d. \u041c\u0438\u043d\u0446","year":"1975","unstructured":"\u041c\u0438\u043d\u0446 \u0413.\u042d. \u0422\u0440\u0430\u043d\u0441\u0444\u0438\u043d\u0438\u0442\u043d\u044b\u0435 \u0440\u0430\u0437\u0432\u0435\u0440\u0442\u043a\u0438 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0444\u043e\u0440\u043c\u0443\u043b. \u0417\u0430\u043f.\u043d\u0430\u0443\u0447\u043d.\u0441\u0435\u043c\u0438\u043d\u0430\u0440\u043e\u0432 \u041b\u0435\u043d\u0438\u043d\u0433\u0440.\u043e\u0442\u0434.\u041c\u0430\u0442\u0435\u043c. \u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420,1975,49,51\u201366. (English transl.:Journ.Soviet Mathem.,1978,10,533\u2013547).","journal-title":"\u0417\u0430\u043f.\u043d\u0430\u0443\u0447\u043d.\u0441\u0435\u043c\u0438\u043d\u0430\u0440\u043e\u0432 \u041b\u0435\u043d\u0438\u043d\u0433\u0440.\u043e\u0442\u0434.\u041c\u0430\u0442\u0435\u043c. \u0438\u043d\u0441\u0442.\u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR41","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1016\/0315-0860(79)90127-7","volume":"6","author":"I. Grattan-Guinness","year":"1979","unstructured":"Grattan-Guinness I. In memoriam Kurt G\u00f6del: His 1931 correspondence with Zermelo on his incompletability theorem. Historia Mathematica,1979,6,294\u2013304.","journal-title":"Historia Mathematica"},{"key":"12_CR42","unstructured":"Van Heijenoort J. (editor). From Frege to G\u00f6del. Harvard univ.press,1967."}],"container-title":["Lecture Notes in Computer Science","Algorithms in Modern Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11157-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:40:39Z","timestamp":1619556039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11157-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540111573","9783540386216"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-11157-3_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}