The System C∆ of Combinatory Logic (1963)

by F B Fitch
Venue:Journal of Symbolic Logic