@Book{takeuti2013proof,
		  title     = {Proof Theory},
		    publisher = {North-Holland Publishing Company.},
			  year      = {1975},
			    author    = {Takeuti, Gaisi},
				  series    = {Studies in Logic and the Foundations of Mathematics.},
}

{"_id":"eoXyKrge2RwDQ3wm5","bibbaseid":"takeuti-prooftheory-1975","authorIDs":[],"author_short":["Takeuti, G."],"bibdata":{"bibtype":"book","type":"book","title":"Proof Theory","publisher":"North-Holland Publishing Company.","year":"1975","author":[{"propositions":[],"lastnames":["Takeuti"],"firstnames":["Gaisi"],"suffixes":[]}],"series":"Studies in Logic and the Foundations of Mathematics.","bibtex":"@Book{takeuti2013proof,\n\t\t title = {Proof Theory},\n\t\t publisher = {North-Holland Publishing Company.},\n\t\t\t year = {1975},\n\t\t\t author = {Takeuti, Gaisi},\n\t\t\t\t series = {Studies in Logic and the Foundations of Mathematics.},\n}\n\n","author_short":["Takeuti, G."],"key":"takeuti2013proof","id":"takeuti2013proof","bibbaseid":"takeuti-prooftheory-1975","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.819Z","downloads":0,"keywords":[],"search_terms":["proof","theory","takeuti"],"title":"Proof Theory","year":1975,"dataSources":["ChWnbF8EqSa8nccMs"]}