Research graph
References from Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Local targets link to admitted publications; unresolved targets remain external evidence.
10.2307/2272344
10.2307/2272344 · 1974 · External reference
10.1007/bf01620621
10.1007/bf01620621 · 1989 · External reference
Unresolved reference
1967 · External reference
10.1016/s1385-7258(67)50050-1
10.1016/s1385-7258(67)50050-1 · 1967 · External reference
10.1007/bf01058533
10.1007/bf01058533 · 1995 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
External reference
Unresolved reference
1989 · External reference
