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