Finite Combinatory Processes-Formulation 1. Post, E. L. The Journal of Symbolic Logic, 1(3):103-105, 1936.
bibtex   
@article{Post:36,
author = {E. L. Post},
title ={Finite Combinatory Processes-Formulation 1},
journal={The Journal of Symbolic Logic},
volume = {1},
number = {3},
pages={103-105},
year   = {1936}}

Downloads: 0