{"_id":"X4M4aMDsbdJLYrAAb","bibbaseid":"church-aformulationofthesimpletheoryoftypes","downloads":0,"creationDate":"2018-06-07T10:38:00.798Z","title":"A Formulation of the Simple Theory of Types","author_short":["Church, A."],"year":null,"bibtype":"article","biburl":"https://raw.githubusercontent.com/brianbuccola/references/master/references.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alonzo"],"propositions":[],"lastnames":["Church"],"suffixes":[]}],"date":"1940","journaltitle":"The Journal of Symbolic Logic","number":"2","pages":"56–68","title":"A Formulation of the Simple Theory of Types","url":"http://www.jstor.org/stable/2266170","volume":"5","bibtex":"@article{church1940,\n author = {Alonzo Church},\n date = {1940},\n journaltitle = {The Journal of Symbolic Logic},\n number = {2},\n pages = {56--68},\n title = {A Formulation of the Simple Theory of Types},\n url = {http://www.jstor.org/stable/2266170},\n volume = {5},\n}\n\n","author_short":["Church, A."],"key":"church1940","id":"church1940","bibbaseid":"church-aformulationofthesimpletheoryoftypes","role":"author","urls":{"Paper":"http://www.jstor.org/stable/2266170"},"downloads":0},"search_terms":["formulation","simple","theory","types","church"],"keywords":[],"authorIDs":[],"dataSources":["yDNScFfBmJg6Qxpio"]}