The noun second-order logic is uncountable.
The singular form of second-order logic is also second-order logic.