A. R. Anderson and N. D. Belnap. Entailment: the logic of relevance and necessity. Princeton University Press, 1975.
 A. Bondy and U. Murty. Graph theory with applications. Springer, 3rd printing 2008. http://www.iro.umontreal.ca/~hahn/IFT3545/GTWA.pdf
  [; G. Boole. An investigation of the Laws of Thought on Which are Founded the Mathematicat Theories of Logic and Probabilities. Macmillan, London, 1858; Dover, 1951. Available as e-Book
 M. Dummett. Truth and Other Enigmas. Harvard University Press, 1978.
 G. Frege. Collected papers on mathematics, logic and philosophy. 1984.
 S. Givant. The calculus of relations as a foundation for mathematics. Journal of Automated Reasoning 37, 2006: 277–322.
 G. Hunter. Metalogic. University of California Press, 1973.
 E. J. Lemmon. Beginning Logic. Nelson, 1965; Hackett, 1978. http://www.allbookez.com/lemmon-beginning-logic/
 R. Maddux. The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica 50, 1991: 421–455.
 G. Restall. Introduction to Substructural Logics. Routledge, 2000.
 B. Russell. Essays in Analysis. Allen and Unwin, 1973.
 J. Slaney. A general logic. Australasian Journal of Philosophy 68, 1990: 74–88.
 J. Slaney. A logic for vagueness. Australasian Journal of Logic 8, 2010: 100–134.
 J. Slaney and R. Meyer. Logic for two: the semantics of distributive substructural logics. In Proceedings of the International Joint Conference on Qualitive and Quantitative Practical Reasoning, 1997: 554–567.
 T. Smiley. Sense without denotation. In Analysis 20, 1960: 125–135.
 P. Strawson. Logico-Linguistic Papers. Methuen, 1971.
 The MIZAR project: http://mizar.uwb.edu.pl/