1Gabbay, D. and J. Woods (eds.), Handbook of the History of Logic, vol. 11, Elsevier, 2011. 被引量:1
2Church, A. , Introduction to Mathematical Logic, Princeton University Press, 1970. 被引量:1
3Webb, D. , " Generation of Any n-valued Logic by One Binary Operation", in Proceedings of the National Academy of Science 21, 1935, pp. 252- 254. 被引量:1
4McKinsey, J. , "On the Generation of the Functions Cpq and Np of Lukasiewicz and Tarski by Means of the Single Binary Operation", Bulletin of the American Mathematical Society 42, 1936, pp. 849 -851. 被引量:1
5Quine, W. V. O. , "Review: J. C. C. McKinsey, 1936", Journal of Symbolic Logic 2, 1937, p. 59. 被引量:1
6Lambert, K. (ed.), The Logical Way of Doing Things, Yale University Press, 1969. 被引量:1
7Massey, G. , "Binary Connectives Functionally Complete by Themselves in S5 Modal Logic", Journal of Symbolic Logic 32, 1967, pp. 91 -92. 被引量:1
8Post, E. , The Two-Valued Iterative Systems of Mathematical Logic, Princeton University Press, 1941, p. 94. 被引量:1