Nicolas D. Goodman. A simplification of combinatory Logic. Journal of Symbolic Logic, 37(2):225-246, 1972.
@article{Goodman72, title = {A simplification of combinatory Logic}, author = {Nicolas D. Goodman}, year = {1972}, tags = {logic}, researchr = {https://researchr.org/publication/Goodman72}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {37}, number = {2}, pages = {225-246}, }