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

Downloads: 0

{"_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"]}