{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T09:12:07Z","timestamp":1649149927703},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/bf00379762","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T02:38:03Z","timestamp":1099449483000},"page":"125-137","source":"Crossref","is-referenced-by-count":0,"title":["Programs and logics"],"prefix":"10.1007","volume":"44","author":[{"given":"Anita","family":"Wasilewska","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Mathematical Center Tracts 24","author":"J. W. Bakker de","year":"1971","unstructured":"J. W. de Bakker, Recursive procedures, Mathematical Center Tracts 24, Math. Centrum, Amsterdam 1971."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.4064\/-2-1-167-213","volume":"2","author":"A. Blikle","year":"1977","unstructured":"A. Blikle, An analysis of programs by algebraic means, Banach Center Publications, Vol. 2, Warszawa 1977, pp. 167?213.","journal-title":"Banach Center Publications"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"G. Gentzen, Untersuchungen \u00fcber das logische Schliessen, Mathematische Zeitschrift, Vol. 39 (1934?35).","DOI":"10.1007\/BF01201363"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Purcell, Axiomatic approach to total correctness of programs, Memo AIM-210, Stanford Artificial Intelligence Laboratory (1973).","DOI":"10.21236\/AD0767335"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0019-9958(71)90355-X","volume":"18","author":"A. Mazurkiewicz","year":"1971","unstructured":"A. Mazurkiewicz, Proving algorithms by tail functions, Information and Control 18 (1971), pp. 220?226.","journal-title":"Information and Control"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/FI-1980-3105","volume":"111.1","author":"G. Mirkowska","year":"1980","unstructured":"G. Mirkowska, Algorithmic logic with nondeterministic programs, Fundamenta Informaticae 111.1. (1980), pp. 45?64.","journal-title":"Fundamenta Informaticae"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"H. Rasiowa, ?+-valued algorithmic logic as a tool to investigate procedures, Proc. MECS '74, Lecture Notes in Computer Science 28, Springer (1974).","DOI":"10.1007\/3-540-07162-8_702"},{"key":"CR8","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1970","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, PWN Warszawa 1963, 3rd ed. (1970).","edition":"3rd ed."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"G. Rousseau, Sequents in many-valued logic, Fundamenta Mathematicae (1967).","DOI":"10.4064\/fm-60-1-23-33"},{"key":"CR10","first-page":"227","volume":"18","author":"A. Salwicki","year":"1970","unstructured":"A. Salwicki, Formalized algorithmic languages, Bulletin de l'Acad\u00e9mie Polonaise des Sciences 18 (1970), pp. 227?232.","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences"},{"key":"CR11","unstructured":"D. Scott, The lattice of flow diagrams, IFIP WG 2.2 Bulletin no 5, (1970)."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02282568","volume":"XXXVII","author":"A. Wasilewska","year":"1971","unstructured":"A. Wasilewska, A formalization of the modal propositional S4 calculus, Studia Logica XXXVII (1971), pp. 133?149.","journal-title":"Studia Logica"},{"issue":"3","key":"CR13","first-page":"214","volume":"XXXV","author":"A. Wasilewska","year":"1976","unstructured":"A. Wasilewska, A sequence formalization for SCI, Studia Logica XXXV, 3 (1976), pp. 214?217.","journal-title":"Studia Logica"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1002\/malq.19800262803","volume":"25.s","author":"A. Wasilewska","year":"1980","unstructured":"A. Wasilewska, On the Gentzen type formalization, Zeitschrift f\u00fcr Mathematische Logik and Grundlagen der Mathematik Bd. 25.s (1980), pp. 439?444.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik and Grundlagen der Mathematik"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00379762.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00379762\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00379762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T13:33:32Z","timestamp":1624800812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00379762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985]]}},"alternative-id":["BF00379762"],"URL":"https:\/\/doi.org\/10.1007\/bf00379762","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}