bn:00713519n
Noun Concept
EL
combinator  combinatory λογική
EN
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. Wikipedia
Relations
Sources