1. Anderson, A.R., Belnap, N.D.: Entailment I. The Logic of Relevance and Necessity. Princeton Un. Press, Princeton (1975)
2. Anderson, A.R., Belnap, N.D., Dunn, J.M.: Entailment II. The Logic of Relevance and Necessity. Princeton Un. Press, Princeton (1992)
3. Becker, T., Weispfenning, V., Kredel, H.: Gröbner Bases. A Computational Approach to Commutative Algebra. Springer, New York (1993)
4. Bell, E.T.: The Development of Mathematics. McGraw-Hill, New York (1945)
5. Belnap, N.D., Wallace, J.R.: A Decision Procedure for the System E
I
of Entailment with Negation. Zeitschr. f. math. Logik und Grundlagen d. Math. 11, 277–289 (1965)