{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:30:13Z","timestamp":1743085813230,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642303401"},{"type":"electronic","value":"9783642303418"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-30341-8_1","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T14:30:18Z","timestamp":1344868218000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["From Logic to Computer Science \u2013 A Personal Experience"],"prefix":"10.1007","author":[{"given":"Anita","family":"Wasilewska","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"353","volume":"62","author":"W. Bartol","year":"1997","unstructured":"Bartol, W., Orlowska, E., Skowron, A.: Helena Rasiowa, 1917-1994. Bulletin of the European Association for Theoretical Computer Science\u00a062, 353\u2013366 (1997)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"1_CR2","volume-title":"Alfred Tarski: Life and Logic","author":"A. Burdman Feferman","year":"2004","unstructured":"Burdman Feferman, A., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)"},{"key":"1_CR3","volume-title":"Collected Works by Kurt G\u00f6del","author":"S. Feferman","year":"1986","unstructured":"Feferman, S., Dawson, J.W., Kleene, S.C., Moore, G.H., Solovay, R.M., van Heijenoort, J.: Collected Works by Kurt G\u00f6del. Oxford University Press, New York (1986)"},{"key":"1_CR4","series-title":"Sloan Foundation Series","volume-title":"Enigmas of Chance: An Autobiography","author":"M. Kac","year":"1985","unstructured":"Kac, M.: Enigmas of Chance: An Autobiography. Sloan Foundation Series. Harper and Row, New York (1985)"},{"key":"1_CR5","volume-title":"A Half Century of Polish Mathematics","author":"K. Kuratowski","year":"1980","unstructured":"Kuratowski, K.: A Half Century of Polish Mathematics. Pergamon, New York (1980)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ins.2006.06.004","volume":"177","author":"J.F. Peters","year":"2007","unstructured":"Peters, J.F., Skowron, A.: Zdzislaw Pawlak life and work. Information Sciences\u00a0177(1), 1\u20132 (2007)","journal-title":"Information Sciences"},{"key":"1_CR7","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. PWN, Warszawa (1963)"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0739-9","volume-title":"Hilbert","author":"C. Reid","year":"1996","unstructured":"Reid, C.: Hilbert. Springer, Berlin (1996)"},{"key":"1_CR9","volume-title":"Adventures of a Mathematician","author":"S.M. Ulam","year":"1976","unstructured":"Ulam, S.M.: Adventures of a Mathematician. Charles Scribner\u2019s Sons, New York (1976)"}],"container-title":["Intelligent Systems Reference Library","Rough Sets and Intelligent Systems - Professor Zdzis\u0142aw Pawlak in Memoriam"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30341-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T16:17:32Z","timestamp":1686327452000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-30341-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642303401","9783642303418"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30341-8_1","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2013]]}}}