Anderson, John M. and Johnstone, Henry W., Jr. Natural Deduction, Belmont, CA: Wadsworth, 1962.

Church, Alonso. Introduction to Mathematical Logic. Princeton: Princeton, 1956, I.

Davis, Martin. Computability and Unsolvability, New York: McGraw-Hill, 1958.

Lemmon, E. J. "New Foundations for the Lewis Modal Systems," Journal of Symbolic Logic 22 (1956), 176-86.

Lewis, C. I. and Langford, C. M. Symbolic Logic, New York: Dover, 1959.

Murphey, Murray G. The Development of Peirce's Philosophy, (Cambridge: Harvard, 1961), p. 357.

Peirce, C. S. The Collected Papers of C. S. Peirce, ed. Charles Hartshorne and Paul Weiss, Cambridge: Harvard, Vols. I-VI.

Prior. A. N. Formal Logic, 2nd ed., Oxford: Oxford, 1962.

Prior. A. N. Time and Modality, Oxford: Oxford, 1962.

Quine, Willard Van Orman. Mathematical Logic, Revised ed. Cambridge, Harvard, 1958.

Zeman, J. Jay. "Bases for S4 and S4.2 without Added Axioms," Notre Dame Journal of Formal Logic 4 (1963), 227-30.