@misc{indiciae37af655475ee,
  title = {DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY.},
  author = {R S Ledley},
  year = {1955},
  doi = {10.1073/pnas.41.7.498},
  url = {https://pubmed.ncbi.nlm.nih.gov/16589706/},
  note = {Source identifier: 16589706}
}