@Book{machover1996set,
		  title         = {Set theory, logic and their limitations},
		    publisher     = {Cambridge University Press},
			  year          = {1996},
			    author        = {Machover, M.},
				  date-modified = {2017-04-30 01:25:08 +0000},
}

{"_id":{"_str":"538c431b0e577e1d6b0041af"},"__v":0,"authorIDs":[],"author_short":["Machover, M."],"bibbaseid":"machover-settheorylogicandtheirlimitations-1996","bibdata":{"bibtype":"book","type":"book","title":"Set theory, logic and their limitations","publisher":"Cambridge University Press","year":"1996","author":[{"propositions":[],"lastnames":["Machover"],"firstnames":["M."],"suffixes":[]}],"date-modified":"2017-04-30 01:25:08 +0000","bibtex":"@Book{machover1996set,\n\t\t title = {Set theory, logic and their limitations},\n\t\t publisher = {Cambridge University Press},\n\t\t\t year = {1996},\n\t\t\t author = {Machover, M.},\n\t\t\t\t date-modified = {2017-04-30 01:25:08 +0000},\n}\n\n","author_short":["Machover, M."],"key":"machover1996set","id":"machover1996set","bibbaseid":"machover-settheorylogicandtheirlimitations-1996","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://cs.stanford.edu/~yoniz/test.bib","downloads":0,"keywords":["textbook"],"search_terms":["set","theory","logic","limitations","machover"],"title":"Set theory, logic and their limitations","year":1996,"dataSources":["ChWnbF8EqSa8nccMs"]}