The Use of Dots as Brackets in Church s System

Alan M. Turing. The Use of Dots as Brackets in Church s System. Journal of Symbolic Logic, 7(4):146-156, 1942.

@article{Turing42,
  title = {The Use of Dots as Brackets in Church s System},
  author = {Alan M. Turing},
  year = {1942},
  researchr = {https://researchr.org/publication/Turing42},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {7},
  number = {4},
  pages = {146-156},
}