Skip to main content
Loading ResearchHub…
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable - ResearchHub