J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 (1948), pp. 177–192.
Burton Dreben · Journal of Symbolic Logic · 1950
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 (1948), pp. 177–192. - Volume 14 Issue 4