S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305.
Alan Rose · Journal of Symbolic Logic · 1970
S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305. - Volume 35 Issue 4