{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T15:18:28Z","timestamp":1779117508041,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540546191","type":"print"},{"value":"9783642769825","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76982-5_4","type":"book-chapter","created":{"date-parts":[[2011,11,11]],"date-time":"2011-11-11T01:47:46Z","timestamp":1320976066000},"page":"34-38","source":"Crossref","is-referenced-by-count":2,"title":["Using Computerised Exercises on Mathematical Logic"],"prefix":"10.1007","author":[{"given":"Rein","family":"Prank","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"32","volume":"36","author":"J Barwise","year":"1989","unstructured":"Barwise, J.; Etchemendy, J.: Creating Courseware. Notices Amer. Math. Soc. 36, 32\u201340 (1989).","journal-title":"Math. Soc"},{"issue":"1","key":"4_CR2","first-page":"36","volume":"2","author":"W Hodges","year":"1989","unstructured":"Hodges, W.: Review: TARSKI\u2019S WORLD AND TURING\u2019S WORLD. Computerised Logic Teaching Bulletin 2, Nr. 1, 36\u201350 (1989).","journal-title":"Computerised Logic Teaching Bulletin"},{"key":"4_CR3","volume-title":"Introduction to Mathematical Logic (Russian)","author":"AN Kolmogorov","year":"1982","unstructured":"Kolmogorov, A.N.; Dragalin, A.G.: Introduction to Mathematical Logic (Russian). Moscow Univ. Press, 1982."},{"issue":"1","key":"4_CR4","first-page":"13","volume":"4","author":"R Prank","year":"1991","unstructured":"Prank, R.; Viira, H.: Algebraic Manipulation Assistant for Propositional Logic. Computerised Logic Teaching Bulletin 4, Nr. 1, 13\u201318 (1991).","journal-title":"Computerised Logic Teaching Bulletin"}],"container-title":["Informatik-Fachberichte","Informatik und Schule 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76982-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:12:17Z","timestamp":1606255937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76982-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546191","9783642769825"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76982-5_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1991]]}}}