Smullyan, Raymond "an Amazing Adventure in Combinatory Logic " in "To Mock a Mockingbird and other logical puzzles" Knopf 1985
(1985)
Languages mentioned
Curry Combinatorials
{1958}