{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:31Z","timestamp":1725662971408},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_37","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:37:13Z","timestamp":1330191433000},"page":"390-396","source":"Crossref","is-referenced-by-count":3,"title":["From logicism to proceduralism (an autobiographical account)"],"prefix":"10.1007","author":[{"given":"G. S.","family":"Tseytin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"13_CR1","unstructured":"A. A. Markov, Teoriia Algorifmov, Trudy Matem. inst. im. V. A. Steklova 42 (1954)."},{"key":"13_CR2","unstructured":"B. M. Le\u03b3kina, T. N. Nikitina, M. I. Otkupshchikova, S. Ia. Fitialov, G. S. Tseitin, \u201cSistema avtomaticheskogo perevoda, razrabatyvaemaia v gruppe matematichesko\u03b3 lingvistiki VTs LGU,\u201d Nauchno-tekhnicheskaia Informatsiia (1966), No. 1, pp. 40\u201350; No. 4, p. 31."},{"key":"13_CR3","first-page":"69","volume":"72","author":"G. S. Tseitin","year":"1964","unstructured":"G. S. Tseitin, \u201cOdin sposob izlozheniia teorii algorifmov i perechislimykh mnozhestv,\u201d Trudy Matem. inst. im. V. A. Steklova\n72 (1964), 69\u201398.","journal-title":"Trudy Matem. inst. im. V. A. Steklova"},{"key":"13_CR4","first-page":"102","volume":"113","author":"G. S. Tseitin","year":"1970","unstructured":"G. S. Tseitin, \u201cO verkhnikh granitsakh perechislimykh mnozhestv konstruktivnykh veshchestvennykh chisel,\u201d Trudy Matem. inst. im. V. A. Steklova\n113 (1970), 102\u2013172.","journal-title":"Trudy Matem. inst. im. V. A. Steklova"},{"key":"13_CR5","unstructured":"G. S. Tseitin, \u201cO logicheskom podkhode k avtomatizatsii programmirovaniia,\u201d Vsesoiuzhaia konferentsiia po problemam teoreticheskoi kibernetiki 9\u201313 Iiunia 1969 g., Tezisy dokladov (Novosibirsk, 1969), 5\u20136."},{"key":"13_CR6","unstructured":"G. S. Tseitin, \u201cNekotorye cherty iazyka dlia sistemy programmirovaniia, proveriaiushcheia dokazatel'stva,\u201d Teoriia Programmirovaniia, Chast' 2, Trudy simpoziuma (Novosibirsk, 1972), 234\u2013249. English translation: G. S. Tseytin, \u201cSome features of a language for a proof-checking programming system,\u201d Internation Symposium on Theoretical Programming, Lecture Notes in Computer Science\n5 (Berlin: Springer, 1974), 394\u2013407."},{"key":"13_CR7","unstructured":"G. S. Tseitin, \u201cLogiko-matematicheskii podkhod k postroeniiu \u00e9konomiko-informatsionnoi sistemy,\u201d Metody vychislenii, vyp. 6 (Izd. Leningradskogo un-ta, 1970), 107\u2013127."},{"key":"13_CR8","first-page":"326","volume-title":"Problemy Prikladnoi lingvistiki, Tezisy mezhvuzovskoi konferentsii 16\u201319 dekabria 1969 g., Chast'2","author":"G. S. Tseitin","year":"1969","unstructured":"G. S. Tseitin, \u201cIazyk matematicheskoi logiki kak sredstvo issledovaniia semantiki estestvennogo iazyka,\u201d Problemy Prikladnoi lingvistiki, Tezisy mezhvuzovskoi konferentsii 16\u201319 dekabria 1969 g., Chast'2 (MGPIIIA, Moskva, 1969), 326\u2013335."},{"key":"13_CR9","first-page":"107","volume-title":"Tezisy dokladov na konferentsii po obrabotke informatsii, mashinnomy perevodu i avtomaticheskomu chteniiu teksta","author":"G. S. Tseitin","year":"1961","unstructured":"G. S. Tseitin, \u201cO promezhutochnom \u00e9tape pri perevode s estestvennogo iasyka na iazyk ischisleniia predikatov,\u201d Tezisy dokladov na konferentsii po obrabotke informatsii, mashinnomy perevodu i avtomaticheskomu chteniiu teksta (VINITI, Moskva, 1961), 107\u2013111."},{"key":"13_CR10","first-page":"177","volume":"19","author":"A. K. Zholkovskii","year":"1967","unstructured":"A. K. Zholkovskii, I. A. Mel'chuk, \u201cO semanticheskom sinteze,\u201d Problemy Kibernetiki\n19 (1967), 177\u2013238.","journal-title":"Problemy Kibernetiki"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0049-237X(09)70360-X","volume-title":"Proc. Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971","author":"G. S. Tseytin","year":"1973","unstructured":"G. S. Tseytin, \u201cFeatures of natural languages in programming languages,\u201d Proc. Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, P. Suppes, L. Henkin, Gr. C. Moisil, A. Joja, eds., Studies in Logic\n74 (Amsterdam: North-Holland, 1973), 215\u2013222. Russian translation: G. S. Tseitin, \u201cCherty estestvennykh iazykov v iazykakh programmirovaniia,\u201d Mashinnyi Perevod i Prikladnaia Lingvistika\n17 (MGPIIIA, Moskva, 1974), 134\u2013143."},{"key":"13_CR12","unstructured":"K. A. Tinn, \u00c9. Kh Tyugu, M. I. Unt, \u201cSistema modul'nogo programmirovaniia dlia TsVM Minsk-22,\u201d VKP-2, Trudy Vsesoiuzhoi Konferentsii po Programmirovaniiu, Zasedanie G. (Novosibirsk, 1970), 23\u201339."}],"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_37.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_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540111573","9783540386216"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-11157-3_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}