{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:10Z","timestamp":1725489070653},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73086-6_17","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"191-204","source":"Crossref","is-referenced-by-count":3,"title":["Mizar Course in Logic and Set Theory"],"prefix":"10.1007","author":[{"given":"Ewa","family":"Borak","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zalewska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Bajguz, W., Czuba, S.T.: Zbi\u00f3r zada\u0144 z topologii w PC Mizar (A Collection of Exercises on Topology in PC Mizar), Zeszyt 1\u20135, Oddzial Regionalny Og\u00f3lnopolskiej Edukacji Komputerowej, Bialystok (1989-90)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Mostowski, M., Trybulec, Z.: A Certain Experimental Computer Aided Course of Logic in Poland. In: Proceedings of World Conference on Computer in Education, IFIP\/AFIPS, Norfolk, North Holland (1985)","DOI":"10.1007\/3-540-15648-8_30"},{"key":"17_CR3","first-page":"147","volume":"1","author":"B. Padlewska","year":"1990","unstructured":"Padlewska, B.: Family of sets. Formalized Mathematics\u00a01, 147\u2013152 (1990), avaliable also from \n                    \n                      http:\/\/www.mizar.org\/fm\/1990-1\/pdf1-1\/setfam_1.pdf","journal-title":"Formalized Mathematics"},{"key":"17_CR4","volume-title":"The Logic of Scientific Discovery","author":"K.R. Popper","year":"1959","unstructured":"Popper, K.R.: The Logic of Scientific Discovery. Hutchinson Education, London (1959)"},{"key":"17_CR5","unstructured":"Pra\u017cmowski, K., Rudnicki, P.: Kurs Logiki w Mizarze\u2013MSE (Course in Logic in Mizar\u2013MSE), Monthly DELTA, No 9 and next ones, Warsaw (1983\u20131984)"},{"key":"17_CR6","first-page":"25","volume":"4","author":"K. Retel","year":"2005","unstructured":"Retel, K., Zalewska, A.: Mizar as a Tool for Teaching Mathematics. Mechanized Mathematics and Its Applications\u00a04, 25\u201333 (2005)","journal-title":"Mechanized Mathematics and Its Applications"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1305\/ndjfl\/1093893349","volume":"9","author":"R. Suszko","year":"1968","unstructured":"Suszko, R.: Ontology in the Tractatus of L. Wittgenstein. Notre Dame Journal of Formal Logic\u00a09, 7\u201333 (1968)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"17_CR8","volume-title":"Initiatives in Logic","author":"L.W. Szczerba","year":"1987","unstructured":"Szczerba, L.W.: The Use of Mizar\u2013MSE in a Course in Foundations of Geometry. In: Initiatives in Logic, Nijhoff Publishers, Dordrecht (1987)"},{"key":"17_CR9","unstructured":"Trybulec, A.: Logic Information Language MIZAR\u2013MSE, Institute of Computer Science Polish Academy of Sciences, Warsaw, vol.465 (1982)"},{"key":"17_CR10","unstructured":"Urban J.: Mizar Mode for Emacs, avaliable from \n                    \n                      http:\/\/alioth.uwb.edu.pl\/twi\/ki\/bin\/view\/Mizar\/MizarMode"},{"key":"17_CR11","volume-title":"Initiatives in Logic","author":"A. Zalewska","year":"1987","unstructured":"Zalewska, A.: An Application of Mizar\u2013MSE in a Course in Logic. In: Initiatives in Logic, Nijhoff Publishers, Dordrecht (1987)"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T00:58:52Z","timestamp":1558486732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730835","9783540730866"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}