bn:00713519n
Noun Concept
AR
combinator
EN
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. Wikipedia
Relations
Sources