{"physical_format": "Textbook Binding", "last_modified": {"type": "/type/datetime", "value": "2008-04-30 09:38:13.731961"}, "publishers": ["Elsevier Science"], "number_of_pages": 396, "id": 12576852, "isbn_13": ["9780444864178"], "isbn_10": ["0444864172"], "publish_date": "July 1982", "key": "/b/OL9321424M", "authors": [{"key": "/a/OL3235689A"}], "title": "Proceedings of the Herbrand Symposium", "type": {"key": "/type/edition"}, "subjects": ["Mathematical And Symbolic Logic"], "revision": 1}