{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T04:03:41Z","timestamp":1709265821580},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"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":[[2008,7]]},"DOI":"10.1007\/s11225-008-9124-7","type":"journal-article","created":{"date-parts":[[2008,7,8]],"date-time":"2008-07-08T11:46:00Z","timestamp":1215517560000},"page":"285-289","source":"Crossref","is-referenced-by-count":0,"title":["Book Reviews"],"prefix":"10.1007","volume":"89","author":[{"given":"John","family":"Symons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,9]]},"reference":[{"key":"9124_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory","author":"S. Awodey","year":"2006","unstructured":"Awodey S.: Category Theory. Oxford University Press, Oxford (2006)"},{"issue":"1","key":"9124_CR2","doi-asserted-by":"crossref","first-page":"l","DOI":"10.1080\/01445340210146889","volume":"23","author":"S. Awodey","year":"2002","unstructured":"Awodey S., Reck E.: \u2018Completeness and Categoricity I. Nineteen-Century Axiomatics to Twentieth-Century Metalogic\u2019. History and Philosophy of Logic 23(1), l\u201330 (2002)","journal-title":"History and Philosophy of Logic"},{"issue":"2","key":"9124_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/0144534021000028619","volume":"23","author":"S. Awodey","year":"2002","unstructured":"Awodey, S., and Reck, E., \u2018Completeness and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Samenties\u2019. History and Philosophy of Logic 23 (2): 77\u201394 (2002)","journal-title":"History and Philosophy of Logic"},{"key":"9124_CR4","unstructured":"Cole, J.C., \u2018Categories of Sets and Models of Set Theory\u2019, in The Proceedings of the Bertrand Russell Memorial Logic Conference, School of Mathematics, Leeds, 1973, pp. 351\u2013399."},{"key":"9124_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195080308.001.0001","volume-title":"In the Light of Logic","author":"S. Feferman","year":"1998","unstructured":"Ferferman, S., In the Light of Logic, Oxford: Oxford University Press, 1998."},{"key":"9124_CR6","volume-title":"Topoi; The Categorial Analysis of Logic","author":"R. Goldblatt","year":"2006","unstructured":"Goldblatt R., Topoi; The Categorial Analysis of Logic. Mineola, K.Y., Dover Publications, 2006."},{"key":"9124_CR7","volume-title":"Conceptual Mathematics: A first Introduction to Categories","author":"F.W. Lawvere","year":"1997","unstructured":"Lawvere F.W., and Stephen Hoel Schanual, Conceptual Mathematics: A first Introduction to Categories, Cambridge: Cambridge Univcrsity Press, 1997."},{"key":"9124_CR8","first-page":"143","volume":"9","author":"W. Mitchell","year":"1972","unstructured":"Mitchell W.: \u2018Boolean Topoi and the Theory of Sets\u2019. Journal of Pure and Applied Algebra 9, 143\u2013164 (1972)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9124_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., Categories for the Working Mathematician New York: Springer, 1971."},{"key":"9124_CR10","doi-asserted-by":"crossref","unstructured":"Marquis J.-P., \u2018Categories, Sets and the Nature of Mathematical Entities\u2019, in J. van Benthem, G. Heinzmann, Ph. Nabonnand, M. Rebuschi, H. Visser (eds.), The Age of Alternative Logics. Assessing philosophy of logic and mathematics today, New York: Springer, 2006, pp. 181\u2013192.","DOI":"10.1007\/978-1-4020-5012-7_13"},{"key":"9124_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B Peirce","year":"1991","unstructured":"Peirce, B, Basic Category Theory for Computer Scientists, Cambridge: MIT Press, 1991."},{"issue":"3","key":"9124_CR12","first-page":"210","volume":"1","author":"J. Symons","year":"2007","unstructured":"Symons, J., J. Urenda, and V. Kreinovich \u2018Towards a General Description of Physical Invariance in Category Theory\u2019, Journal of Uncertain Systerns 1 (3):210-206, 2007.","journal-title":"Journal of Uncertain Systerns"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9124-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9124-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9124-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T05:02:22Z","timestamp":1709096542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9124-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["9124"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9124-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}