@book{
 title = {Symbolic logic and mechanical theorem proving},
 type = {book},
 keywords = {1 Lógica},
 publisher = {Academic Press, Inc.},
 city = {New York},
 id = {bee421bd-15b1-3280-b30d-32146efded70},
 created = {2015-05-12T04:22:06.000Z},
 file_attached = {false},
 profile_id = {90ca2a5a-c601-3e53-97b5-fd902a2e1383},
 group_id = {79215629-7a19-3d32-8439-3f7f4c1c6db1},
 last_modified = {2015-09-14T07:47:59.000Z},
 tags = {1 Lógica},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Chang},
 bibtype = {book},
 author = {Chang, C. L. and Lee, R. C.}
}

{"_id":"4wYjoRgypqzEfbnZC","bibbaseid":"chang-lee-symboliclogicandmechanicaltheoremproving","downloads":0,"creationDate":"2015-08-28T09:10:24.176Z","title":"Symbolic logic and mechanical theorem proving","author_short":["Chang, C., L.","Lee, R., C."],"year":null,"bibtype":"book","biburl":null,"bibdata":{"title":"Symbolic logic and mechanical theorem proving","type":"book","keywords":"1 Lógica","publisher":"Academic Press, Inc.","city":"New York","id":"bee421bd-15b1-3280-b30d-32146efded70","created":"2015-05-12T04:22:06.000Z","file_attached":false,"profile_id":"90ca2a5a-c601-3e53-97b5-fd902a2e1383","group_id":"79215629-7a19-3d32-8439-3f7f4c1c6db1","last_modified":"2015-09-14T07:47:59.000Z","tags":"1 Lógica","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Chang","bibtype":"book","author":"Chang, C. L. and Lee, R. C.","bibtex":"@book{\n title = {Symbolic logic and mechanical theorem proving},\n type = {book},\n keywords = {1 Lógica},\n publisher = {Academic Press, Inc.},\n city = {New York},\n id = {bee421bd-15b1-3280-b30d-32146efded70},\n created = {2015-05-12T04:22:06.000Z},\n file_attached = {false},\n profile_id = {90ca2a5a-c601-3e53-97b5-fd902a2e1383},\n group_id = {79215629-7a19-3d32-8439-3f7f4c1c6db1},\n last_modified = {2015-09-14T07:47:59.000Z},\n tags = {1 Lógica},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Chang},\n bibtype = {book},\n author = {Chang, C. L. and Lee, R. C.}\n}","author_short":["Chang, C., L.","Lee, R., C."],"bibbaseid":"chang-lee-symboliclogicandmechanicaltheoremproving","role":"author","urls":{},"keyword":["1 Lógica"],"downloads":0},"search_terms":["symbolic","logic","mechanical","theorem","proving","chang","lee"],"keywords":["1 logic","1 lógica"],"authorIDs":[]}