2 results
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 (1951), pp. 22–34. See Errata, ibid., p. iv.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- December 1951
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 4 / January 1950
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
- Print publication:
- January 1950
-
- Article
- Export citation