TY  - RPRT
TI  - DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY.
AU  - R S Ledley
PY  - 1955
DO  - 10.1073/pnas.41.7.498
UR  - https://pubmed.ncbi.nlm.nih.gov/16589706/
ID  - 16589706
ER  -