TabVer: Tabular Fact Verification with Natural Logic