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