W. Dziobiak A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1991, v:25, n:, pp:- [Journal]

Search in 0.001secs, Finished in 0.001secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP