Nuel Belnap, (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
Józef Maria Bocheński (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
Józef Maria Bocheński, (1970). A history of formal logic. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
Brookshear,J. Glenn(1989).Theory of computation: formal languages, automata, and complexity.Redwood City, Calif.:Benjamin/Cummings Pub. Co..ISBN0-8053-0143-7.
Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9.
Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.