The noun combinatory logic is uncountable.
The plural form of combinatory logic is also combinatory logic.