@article{DBLP:journals/jsyml/Turing42,
  author    = {Alan M. Turing},
  title     = {The Use of Dots as Brackets in Church's System},
  journal   = {J. Symb. Log.},
  volume    = {7},
  number    = {4},
  pages     = {146--156},
  year      = {1942},
  url       = {https://doi.org/10.2307/2268111},
  doi       = {10.2307/2268111},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsyml/Turing42},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rEgXCJjpLNmL6wzbt","bibbaseid":"turing-theuseofdotsasbracketsinchurchssystem-1942","downloads":0,"creationDate":"2018-10-10T20:54:26.962Z","title":"The Use of Dots as Brackets in Church's System","author_short":["Turing, A. M."],"year":1942,"bibtype":"article","biburl":"https://dblp.org/pid/t/AlanMTuring.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Turing"],"suffixes":[]}],"title":"The Use of Dots as Brackets in Church's System","journal":"J. Symb. Log.","volume":"7","number":"4","pages":"146–156","year":"1942","url":"https://doi.org/10.2307/2268111","doi":"10.2307/2268111","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/jsyml/Turing42","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jsyml/Turing42,\n author = {Alan M. Turing},\n title = {The Use of Dots as Brackets in Church's System},\n journal = {J. Symb. Log.},\n volume = {7},\n number = {4},\n pages = {146--156},\n year = {1942},\n url = {https://doi.org/10.2307/2268111},\n doi = {10.2307/2268111},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/jsyml/Turing42},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Turing, A. M."],"key":"DBLP:journals/jsyml/Turing42","id":"DBLP:journals/jsyml/Turing42","bibbaseid":"turing-theuseofdotsasbracketsinchurchssystem-1942","role":"author","urls":{"Paper":"https://doi.org/10.2307/2268111"},"downloads":0},"search_terms":["use","dots","brackets","church","system","turing"],"keywords":[],"authorIDs":[],"dataSources":["XNAmNHEERy5E9QAQa"]}