{"_id":"So8XDc5xdnubvK5GT","bibbaseid":"kleene-introductiontometamathematics-1950","authorIDs":[],"author_short":["Kleene, S. C."],"bibdata":{"bibtype":"book","type":"book","title":"Introduction to Metamathematics","publisher":"Van Nostrand","year":"1950","author":[{"propositions":[],"lastnames":["Kleene"],"firstnames":["S.","C."],"suffixes":[]}],"bibtex":"@Book{Kl50,\n\t\t title = {Introduction to Metamathematics},\n\t\t publisher = {Van Nostrand},\n\t\t\t year = {1950},\n\t\t\t author = {Kleene, S. C.},\n}\n\n","author_short":["Kleene, S. C."],"key":"Kl50","id":"Kl50","bibbaseid":"kleene-introductiontometamathematics-1950","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.780Z","downloads":0,"keywords":[],"search_terms":["introduction","metamathematics","kleene"],"title":"Introduction to Metamathematics","year":1950,"dataSources":["ChWnbF8EqSa8nccMs"]}