Command Palette

Search for a command to run...

Tzu-Hua Hoo. m-valued sub-system of (m+n)-valued propositional calculus. The journal of symbolic logic, vol. 14 (1949), pp. 177–181. | Researchclopedia