{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T02:48:42Z","timestamp":1758595722059,"version":"3.44.0"},"reference-count":0,"publisher":"WORLD SCIENTIFIC","isbn-type":[{"type":"print","value":"9789811289361"},{"type":"electronic","value":"9789811289347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1142\/13714","type":"monograph","created":{"date-parts":[[2023,11,23]],"date-time":"2023-11-23T20:29:13Z","timestamp":1700771353000},"source":"Crossref","is-referenced-by-count":0,"title":["Logical Foundations of Computer Science"],"prefix":"10.1142","author":[{"given":"Peter A","family":"Fejer","sequence":"first","affiliation":[{"name":"University of Massachusetts BostonUSA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan A","family":"Simovici","sequence":"additional","affiliation":[{"name":"University of Massachusetts BostonUSA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2023,11,23]]},"container-title":[],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:32:51Z","timestamp":1758591171000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/worldscibooks\/10.1142\/13714"}},"subtitle":["(In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic"],"short-title":[],"issued":{"date-parts":[[2023,11,23]]},"ISBN":["9789811289361","9789811289347"],"references-count":0,"alternative-id":["10.1142\/13714"],"URL":"https:\/\/doi.org\/10.1142\/13714","relation":{},"subject":[],"published":{"date-parts":[[2023,11,23]]}}}