Kemeny, J. G. (1946). <i>Equivalent logical systems.</i> Princeton, NJ: Department of Mathematics.