{"notes": {"type": "/type/text", "value": "Includes bibliographical references (p. 329-354) and indexes."}, "identifiers": {"goodreads": ["5020946"], "librarything": ["2004827"]}, "title": "Logic for applications", "authors": [{"key": "/authors/OL6254376A"}], "publish_date": "1993", "publishers": ["Springer-Verlag"], "isbn_10": ["0387941290", "3540941290"], "series": ["Texts and monographs in computer science"], "lc_classifications": ["QA76.63"], "publish_places": ["New York", "London"], "contributions": ["Shore, Richard A."], "pagination": "xvii, 365 p. :", "dewey_decimal_class": ["005.1"], "languages": [{"key": "/languages/eng"}], "subjects": ["Logic programming.", "Logic, Symbolic and mathematical."], "publish_country": "xxu", "by_statement": "Anil Nerode, Richard A. Shore..", "type": {"key": "/type/edition"}, "source_records": ["marc:talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:564175097:860"], "key": "/books/OL21346765M", "number_of_pages": 365, "works": [{"key": "/works/OL13361342W"}], "latest_revision": 5, "revision": 5, "created": {"type": "/type/datetime", "value": "2008-11-02T02:42:59.906861"}, "last_modified": {"type": "/type/datetime", "value": "2026-01-06T01:03:03.893456"}}